diff options
Diffstat (limited to 'Master/texmf/lists/grtimes')
-rw-r--r-- | Master/texmf/lists/grtimes | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/Master/texmf/lists/grtimes b/Master/texmf/lists/grtimes new file mode 100644 index 00000000000..fc40e1828c9 --- /dev/null +++ b/Master/texmf/lists/grtimes @@ -0,0 +1,12 @@ +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 |