diff options
Diffstat (limited to 'Master/tlp/grtimes.tlp')
-rw-r--r-- | Master/tlp/grtimes.tlp | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/Master/tlp/grtimes.tlp b/Master/tlp/grtimes.tlp deleted file mode 100644 index 03a3a041478..00000000000 --- a/Master/tlp/grtimes.tlp +++ /dev/null @@ -1,16 +0,0 @@ -name grtimes -category Package -docfiles - texmf-dist/doc/latex/grtimes/README -srcfiles - 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 -runfiles - texmf-dist/fonts/enc/dvips/grtimes/lgr-tex.enc - texmf-dist/fonts/source/public/grtimes/lgrligs.mf - 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 |