diff options
author | Karl Berry <karl@freefriends.org> | 2019-09-07 23:47:38 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2019-09-07 23:47:38 +0000 |
commit | 6a7e7cc46983edba0b4b0d0fb43fea1defef2b6c (patch) | |
tree | 112e83284d79e434b966271046f38d9f663d7df5 /Master/texmf-dist | |
parent | ce6477e2381ccbea9dc023e6a572cf99240bd319 (diff) |
autoupdate
git-svn-id: svn://tug.org/texlive/trunk@52051 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist')
-rw-r--r-- | Master/texmf-dist/ls-R | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/Master/texmf-dist/ls-R b/Master/texmf-dist/ls-R index 1ceaf92f6bf..0821bad86e4 100644 --- a/Master/texmf-dist/ls-R +++ b/Master/texmf-dist/ls-R @@ -177383,7 +177383,6 @@ pict2e pittetd pixelart plari -platex-tools plautopatch play plweb @@ -182876,9 +182875,6 @@ Makefile plari.dtx plari.ins -./source/latex/platex-tools: -Makefile - ./source/latex/plautopatch: Makefile |