diff options
Diffstat (limited to 'Master/tlp/knuthotherfonts.tlp')
-rw-r--r-- | Master/tlp/knuthotherfonts.tlp | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/Master/tlp/knuthotherfonts.tlp b/Master/tlp/knuthotherfonts.tlp deleted file mode 100644 index c72bee818db..00000000000 --- a/Master/tlp/knuthotherfonts.tlp +++ /dev/null @@ -1,13 +0,0 @@ -name knuthotherfonts -category Package -runfiles - 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 |