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