diff options
Diffstat (limited to 'pdftex/config/original-micropress-informal.map')
| -rw-r--r-- | pdftex/config/original-micropress-informal.map | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/pdftex/config/original-micropress-informal.map b/pdftex/config/original-micropress-informal.map deleted file mode 100644 index 2661f1cb1..000000000 --- a/pdftex/config/original-micropress-informal.map +++ /dev/null @@ -1,7 +0,0 @@ -ifrm10cm 4 < ifrg.pfb cm.enc -ifrb10cm 4 < ifb.pfb cm.enc -ifro10cm 4 < ifo.pfb cm.enc -ifbo10cm 4 < ifbo.pfb cm.enc -ifex10 4 < ifex10.pfb -ifmi10 4 < ifmi10.pfb -ifsy10 4 < ifsy10.pfb |