diff options
Diffstat (limited to 'Master/texmf/lists/texinfo')
-rw-r--r-- | Master/texmf/lists/texinfo | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/Master/texmf/lists/texinfo b/Master/texmf/lists/texinfo deleted file mode 100644 index 752a18f22ea..00000000000 --- a/Master/texmf/lists/texinfo +++ /dev/null @@ -1,18 +0,0 @@ - - -texmf-dist/tex/texinfo/texinfo.ini -texmf-dist/tex/texinfo/texinfo.tex -texmf-dist/tex/texinfo/txi-cs.tex -texmf-dist/tex/texinfo/txi-de.tex -texmf-dist/tex/texinfo/txi-en.tex -texmf-dist/tex/texinfo/txi-es.tex -texmf-dist/tex/texinfo/txi-fr.tex -texmf-dist/tex/texinfo/txi-it.tex -texmf-dist/tex/texinfo/txi-nl.tex -texmf-dist/tex/texinfo/txi-no.tex -texmf-dist/tex/texinfo/txi-pl.tex -texmf-dist/tex/texinfo/txi-pt.tex -texmf-dist/tex/texinfo/txi-tr.tex -texmf-dist/tpm/texinfo.tpm - -texmf/lists/texinfo |