diff options
Diffstat (limited to 'Master/texmf/lists/knuthotherfonts')
-rw-r--r-- | Master/texmf/lists/knuthotherfonts | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/Master/texmf/lists/knuthotherfonts b/Master/texmf/lists/knuthotherfonts deleted file mode 100644 index 1f8e76abc51..00000000000 --- a/Master/texmf/lists/knuthotherfonts +++ /dev/null @@ -1,15 +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-dist/tpm/knuthotherfonts.tpm - -texmf/lists/knuthotherfonts |