diff options
Diffstat (limited to 'Master/tlp/xmlplay.tlp')
-rw-r--r-- | Master/tlp/xmlplay.tlp | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/Master/tlp/xmlplay.tlp b/Master/tlp/xmlplay.tlp deleted file mode 100644 index d726b3e587c..00000000000 --- a/Master/tlp/xmlplay.tlp +++ /dev/null @@ -1,8 +0,0 @@ -name xmlplay -category Package -docfiles - texmf-dist/doc/xmltex/xmlplay/readme -srcfiles - texmf-dist/source/xmltex/xmlplay/play.dtd -runfiles - texmf-dist/tex/xmltex/xmlplay/play.xmt |