diff options
Diffstat (limited to 'Master/texmf-dist/fonts/source/public/fetamont/ffmchar_dieresis.mf')
-rw-r--r-- | Master/texmf-dist/fonts/source/public/fetamont/ffmchar_dieresis.mf | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/Master/texmf-dist/fonts/source/public/fetamont/ffmchar_dieresis.mf b/Master/texmf-dist/fonts/source/public/fetamont/ffmchar_dieresis.mf deleted file mode 100644 index f22bfbf54df..00000000000 --- a/Master/texmf-dist/fonts/source/public/fetamont/ffmchar_dieresis.mf +++ /dev/null @@ -1,12 +0,0 @@ -ffmchar("dieresis",8,x_ht#+acc_ht#,0); -x1=x2=.5w-max(1.8u,(1+dotincr)*.7px)+noise; -x3=x4=.5w+max(1.8u,(1+dotincr)*.7px)+noise; -bot y1=.3[x_ht,h]+noise; -y2=y1+dotincr*py; -bot y3=.3[x_ht,h]+noise; -y4=y3+dotincr*py; -draw dotcircle(z1,z2); -draw dotcircle(z3,z4); -charanchortops_[charcode]=(.5w,x_ht); -labels(1,2,3,4); -endchar; |