diff options
Diffstat (limited to 'Master/texmf-dist/fonts/source/public/musictex/musikn13.mf')
-rw-r--r-- | Master/texmf-dist/fonts/source/public/musictex/musikn13.mf | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/Master/texmf-dist/fonts/source/public/musictex/musikn13.mf b/Master/texmf-dist/fonts/source/public/musictex/musikn13.mf new file mode 100644 index 00000000000..7a73e707a00 --- /dev/null +++ b/Master/texmf-dist/fonts/source/public/musictex/musikn13.mf @@ -0,0 +1,19 @@ +%%% +% this is musicn13.mf +%%% + +font_identifier:="musicn13"; +font_coding_scheme:="UNSPECIFIED"; + +input musikd13 + +%font_slant 0; +%font_normal_space 0pt; +%font_normal_stretch 0pt; +%font_normal_shrink 0pt; +font_x_height nhh#; %fontdimen 5 +font_quad nhw#; %fontdimen 6 +%font_extra_space 0pt; + +input musikgen +end |