diff options
Diffstat (limited to 'Master/texmf/lists/mentis')
| -rw-r--r-- | Master/texmf/lists/mentis | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/Master/texmf/lists/mentis b/Master/texmf/lists/mentis deleted file mode 100644 index e9a9feba81b..00000000000 --- a/Master/texmf/lists/mentis +++ /dev/null @@ -1,8 +0,0 @@ -texmf-dist/doc/latex/mentis/README -texmf-dist/doc/latex/mentis/mentis.pdf -texmf-dist/source/latex/mentis/mentis.dtx -texmf-dist/source/latex/mentis/mentis.ins -texmf-dist/tex/latex/mentis/mentis.cls -texmf-dist/tpm/mentis.tpm - -texmf/lists/mentis |