diff options
Diffstat (limited to 'Master/texmf-dist/fonts/source/public/musictex/musikn20.mf')
-rw-r--r-- | Master/texmf-dist/fonts/source/public/musictex/musikn20.mf | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/Master/texmf-dist/fonts/source/public/musictex/musikn20.mf b/Master/texmf-dist/fonts/source/public/musictex/musikn20.mf deleted file mode 100644 index 3f56be5c445..00000000000 --- a/Master/texmf-dist/fonts/source/public/musictex/musikn20.mf +++ /dev/null @@ -1,19 +0,0 @@ -%%% -% this is musicn20.mf -%%% - -font_identifier:="musicn20"; -font_coding_scheme:="UNSPECIFIED"; - -input musikd20 - -%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 |