diff options
Diffstat (limited to 'Master/tlsrc/xmltex.tlsrc')
-rw-r--r-- | Master/tlsrc/xmltex.tlsrc | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/Master/tlsrc/xmltex.tlsrc b/Master/tlsrc/xmltex.tlsrc deleted file mode 100644 index 157f0ab3181..00000000000 --- a/Master/tlsrc/xmltex.tlsrc +++ /dev/null @@ -1,5 +0,0 @@ -name xmltex -docpatterns d texmf-dist/doc/xmltex/base -runpatterns d texmf-dist/tex/xmltex/base -runpatterns d texmf-dist/tex/xmltex/config -srcpatterns +!d texmf-dist/source/xmltex/xmlplay |