1 files changed, 0 insertions, 28 deletions
diff --git a/Master/texmf-dist/fonts/source/public/musixtex/musix13.mf b/Master/texmf-dist/fonts/source/public/musixtex/musix13.mf
deleted file mode 100644
index 918db5f01bf..00000000000
--- a/Master/texmf-dist/fonts/source/public/musixtex/musix13.mf
+++ /dev/null
@@ -1,28 +0,0 @@
-
-font_identifier:="musix13";
-
-mode_setup;
-
-font_size 12.8pt#;
-
-nhh#:=3.2pt#;
-nhw#:=3.84pt#;
-gregwidth#:=0.5*sqrt(2)*nhw#;
-
-thin#:=1/50designsize;
-med#:=1/33designsize;
-thick#:=1/16designsize;
-
-thinwidth := 0.08pt;
-beamht#:=0.48nhh#;
-
-define_pixels(nhh,nhw,beamht,gregwidth);
-define_blacker_pixels(thin,med,thick);
-
-pair ne,se,sw,nw; %northeast,southeast,southwest,northwest
-ne = up+right; se = down+right; sw = down+left; nw = up+left;
-
-font_x_height nhh#;
-font_quad nhw#;
-
-input musixgen