diff options
author | Karl Berry <karl@freefriends.org> | 2009-07-05 17:14:05 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2009-07-05 17:14:05 +0000 |
commit | a98ff6f224cb7f5fe6f229b2b9d72f897a30479b (patch) | |
tree | 3c5df9bb5b37a899773461563089c0fda053f732 | |
parent | 9120b2e742cc0d500d71a65dd087315667c6c5e6 (diff) |
rename this verbatim.tex to avoid conflict with the one in genmisc
git-svn-id: svn://tug.org/texlive/trunk@14119 c570f23f-e606-0410-a88d-b1316a301751
-rw-r--r-- | Master/texmf-dist/tex/plain/gustlib/verbatim-dek.tex (renamed from Master/texmf-dist/tex/plain/gustlib/verbatim.tex) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/Master/texmf-dist/tex/plain/gustlib/verbatim.tex b/Master/texmf-dist/tex/plain/gustlib/verbatim-dek.tex index ed2aa700b9c..ed2aa700b9c 100644 --- a/Master/texmf-dist/tex/plain/gustlib/verbatim.tex +++ b/Master/texmf-dist/tex/plain/gustlib/verbatim-dek.tex |