diff options
Diffstat (limited to 'Master/texmf/lists/texinfo')
-rw-r--r-- | Master/texmf/lists/texinfo | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/Master/texmf/lists/texinfo b/Master/texmf/lists/texinfo deleted file mode 100644 index 660f7a2b725..00000000000 --- a/Master/texmf/lists/texinfo +++ /dev/null @@ -1,14 +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/lists/texinfo |