diff options
author | Karl Berry <karl@freefriends.org> | 2008-04-30 16:53:06 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2008-04-30 16:53:06 +0000 |
commit | 06d7ba232c516289a0b08773e656df54c543727d (patch) | |
tree | 72bcee937470defaa9e90d8bfb3151d9982277a8 /Master/texmf/lists/grtimes | |
parent | 907758338cb7c8174780e035eabac245f5d8f5da (diff) |
no more lists files
git-svn-id: svn://tug.org/texlive/trunk@7746 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf/lists/grtimes')
-rw-r--r-- | Master/texmf/lists/grtimes | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/Master/texmf/lists/grtimes b/Master/texmf/lists/grtimes deleted file mode 100644 index fc40e1828c9..00000000000 --- a/Master/texmf/lists/grtimes +++ /dev/null @@ -1,12 +0,0 @@ -texmf-dist/doc/latex/grtimes/README -texmf-dist/fonts/enc/dvips/grtimes/lgr-tex.enc -texmf-dist/fonts/source/public/grtimes/lgrligs.mf -texmf-dist/source/latex/grtimes/font-names -texmf-dist/source/latex/grtimes/grtimes.dtx -texmf-dist/source/latex/grtimes/grtimes.ins -texmf-dist/source/latex/grtimes/inlig -texmf-dist/tex/latex/grtimes/grtimes.sty -texmf-dist/tex/latex/grtimes/lgrpcr.fd -texmf-dist/tex/latex/grtimes/lgrphv.fd -texmf-dist/tex/latex/grtimes/lgrptm.fd -texmf/lists/grtimes |