diff options
Diffstat (limited to 'Master/texmf-dist/source/latex/grtimes/font-names')
-rw-r--r-- | Master/texmf-dist/source/latex/grtimes/font-names | 60 |
1 files changed, 60 insertions, 0 deletions
diff --git a/Master/texmf-dist/source/latex/grtimes/font-names b/Master/texmf-dist/source/latex/grtimes/font-names new file mode 100644 index 00000000000..f31389e5a0d --- /dev/null +++ b/Master/texmf-dist/source/latex/grtimes/font-names @@ -0,0 +1,60 @@ +grar10.mf +grar17.mf +grar5.mf +grar8.mf +grar9.mf +grarb10.mf +grarb17.mf +grarb5.mf +grarb8.mf +grarb9.mf +grarbo10.mf +grarbo17.mf +grarbo5.mf +grarbo8.mf +grarbo9.mf +graro10.mf +graro17.mf +graro5.mf +graro8.mf +graro9.mf +grcr10.mf +grcr17.mf +grcr5.mf +grcr8.mf +grcr9.mf +grcrb10.mf +grcrb17.mf +grcrb5.mf +grcrb8.mf +grcrb9.mf +grcrbo10.mf +grcrbo17.mf +grcrbo5.mf +grcrbo8.mf +grcrbo9.mf +grcro10.mf +grcro17.mf +grcro5.mf +grcro8.mf +grcro9.mf +grtm10.mf +grtm17.mf +grtm5.mf +grtm8.mf +grtm9.mf +grtmb10.mf +grtmb17.mf +grtmb5.mf +grtmb8.mf +grtmb9.mf +grtmbo10.mf +grtmbo17.mf +grtmbo5.mf +grtmbo8.mf +grtmbo9.mf +grtmo10.mf +grtmo17.mf +grtmo5.mf +grtmo8.mf +grtmo9.mf |