diff options
Diffstat (limited to 'Master/texmf/lists/xmlplay')
-rw-r--r-- | Master/texmf/lists/xmlplay | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Master/texmf/lists/xmlplay b/Master/texmf/lists/xmlplay new file mode 100644 index 00000000000..6ef722e6414 --- /dev/null +++ b/Master/texmf/lists/xmlplay @@ -0,0 +1,4 @@ +texmf-dist/doc/xmltex/xmlplay/readme +texmf-dist/source/xmltex/xmlplay/play.dtd +texmf-dist/tex/xmltex/xmlplay/play.xmt +texmf/lists/xmlplay |