diff options
author | Karl Berry <karl@freefriends.org> | 2014-09-07 21:03:30 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2014-09-07 21:03:30 +0000 |
commit | 25a22e2f31a52677528aa5abf8ce4b574aa49942 (patch) | |
tree | 1ac1a1eba0c857da595d1595beb92c39869426a1 /Master/texmf-dist/fonts/source/public/drm/drmorns.mf | |
parent | aa82b39fdf2a2273eea8f0f990ebf8c51cbc7d19 (diff) |
drm
git-svn-id: svn://tug.org/texlive/trunk@35125 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/fonts/source/public/drm/drmorns.mf')
-rw-r--r-- | Master/texmf-dist/fonts/source/public/drm/drmorns.mf | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Master/texmf-dist/fonts/source/public/drm/drmorns.mf b/Master/texmf-dist/fonts/source/public/drm/drmorns.mf index 48292df8066..1c582139f77 100644 --- a/Master/texmf-dist/fonts/source/public/drm/drmorns.mf +++ b/Master/texmf-dist/fonts/source/public/drm/drmorns.mf @@ -45,7 +45,7 @@ pen semiextextthickpen; semiextextthickpen = pensquare scaled 3thickline; pen extextthickpen; extextthickpen = pensquare scaled 4thickline; pen medpen; medpen = pensquare scaled 1.5thinline; -%input ornbars.mf; -input ornfont.mf; +%input drmornbars.mf; +input drmornfont.mf; end; |