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, 0 insertions, 60 deletions
diff --git a/Master/texmf-dist/source/latex/grtimes/font-names b/Master/texmf-dist/source/latex/grtimes/font-names deleted file mode 100644 index f31389e5a0d..00000000000 --- a/Master/texmf-dist/source/latex/grtimes/font-names +++ /dev/null @@ -1,60 +0,0 @@ -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 |