diff options
| author | Karl Berry <karl@freefriends.org> | 2015-06-29 00:15:42 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2015-06-29 00:15:42 +0000 |
| commit | d3fb2a6dc958e53b3b9d4e9282794904d32c590c (patch) | |
| tree | 8e8e384abaa3cb475e0d84fd262b8f6a0304e38c /Master/texmf-dist/tex | |
| parent | 99ab05030fdb929862749f25df2f137362584aef (diff) | |
termmenu (27jun15)
git-svn-id: svn://tug.org/texlive/trunk@37700 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/tex')
| -rw-r--r-- | Master/texmf-dist/tex/generic/termmenu/termmenu.tex (renamed from Master/texmf-dist/tex/latex/termmenu/termmenu.tex) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/Master/texmf-dist/tex/latex/termmenu/termmenu.tex b/Master/texmf-dist/tex/generic/termmenu/termmenu.tex index 762f3ced28d..762f3ced28d 100644 --- a/Master/texmf-dist/tex/latex/termmenu/termmenu.tex +++ b/Master/texmf-dist/tex/generic/termmenu/termmenu.tex |