diff options
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 |