diff options
Diffstat (limited to 'Master/texmf-dist/fonts/source/public/drm/drmtc17.mf')
-rw-r--r-- | Master/texmf-dist/fonts/source/public/drm/drmtc17.mf | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/texmf-dist/fonts/source/public/drm/drmtc17.mf b/Master/texmf-dist/fonts/source/public/drm/drmtc17.mf index 622fee616c3..7ce884a5525 100644 --- a/Master/texmf-dist/fonts/source/public/drm/drmtc17.mf +++ b/Master/texmf-dist/fonts/source/public/drm/drmtc17.mf @@ -1,6 +1,6 @@ % +AMDG -font_identifier:="drmsc"; font_size:=17pt#; font_coding_scheme "T1"; +font_identifier:="drm"; font_size:=17pt#; font_coding_scheme "T1"; pixels_per_inch:=1200; mode_setup; |