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