diff options
Diffstat (limited to 'Master/texmf/lists/knuthotherfonts')
-rw-r--r-- | Master/texmf/lists/knuthotherfonts | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/Master/texmf/lists/knuthotherfonts b/Master/texmf/lists/knuthotherfonts deleted file mode 100644 index 5c4a4ece62c..00000000000 --- a/Master/texmf/lists/knuthotherfonts +++ /dev/null @@ -1,11 +0,0 @@ -texmf-dist/fonts/source/public/knuthotherfonts/committee/font1.mf -texmf-dist/fonts/source/public/knuthotherfonts/committee/font1base.mf -texmf-dist/fonts/source/public/knuthotherfonts/halftone/aphalf.mf -texmf-dist/fonts/source/public/knuthotherfonts/halftone/ddhalf.mf -texmf-dist/fonts/source/public/knuthotherfonts/halftone/ddralf.mf -texmf-dist/fonts/source/public/knuthotherfonts/halftone/halftone.mf -texmf-dist/fonts/source/public/knuthotherfonts/halftone/imhalf.mf -texmf-dist/fonts/source/public/knuthotherfonts/halftone/imralf.mf -texmf-dist/fonts/source/public/knuthotherfonts/mfbook/logobase.mf -texmf-dist/fonts/source/public/knuthotherfonts/mfbook/metafon.mf -texmf/lists/knuthotherfonts |