diff options
Diffstat (limited to 'Master/texmf-dist/fonts/source/public/fetamont/ffmchar_dotaccent.mf')
-rw-r--r-- | Master/texmf-dist/fonts/source/public/fetamont/ffmchar_dotaccent.mf | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/Master/texmf-dist/fonts/source/public/fetamont/ffmchar_dotaccent.mf b/Master/texmf-dist/fonts/source/public/fetamont/ffmchar_dotaccent.mf deleted file mode 100644 index ea27ba228f4..00000000000 --- a/Master/texmf-dist/fonts/source/public/fetamont/ffmchar_dotaccent.mf +++ /dev/null @@ -1,8 +0,0 @@ -ffmchar("dotaccent",4,x_ht#+acc_ht#,0); -x1=x2=.5w+noise; -bot y1=.5[x_ht,h]+noise; -y2=y1+dotincr*py; -draw dotcircle(z1,z2); -charanchortops_[charcode]=(.5w,x_ht); -labels(1,2); -endchar; |