summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/ls-R
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2019-09-07 23:47:38 +0000
committerKarl Berry <karl@freefriends.org>2019-09-07 23:47:38 +0000
commit6a7e7cc46983edba0b4b0d0fb43fea1defef2b6c (patch)
tree112e83284d79e434b966271046f38d9f663d7df5 /Master/texmf-dist/ls-R
parentce6477e2381ccbea9dc023e6a572cf99240bd319 (diff)
autoupdate
git-svn-id: svn://tug.org/texlive/trunk@52051 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/ls-R')
-rw-r--r--Master/texmf-dist/ls-R4
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