diff options
Diffstat (limited to 'pdftex')
-rw-r--r-- | pdftex/config/context/pl0-ams-cmr.map | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pdftex/config/context/pl0-ams-cmr.map b/pdftex/config/context/pl0-ams-cmr.map index 70807f50c..a217781bd 100644 --- a/pdftex/config/context/pl0-ams-cmr.map +++ b/pdftex/config/context/pl0-ams-cmr.map @@ -26,7 +26,7 @@ plmi7 <plmi7.pfb plmi8 <plmi8.pfb plmi9 <plmi9.pfb plmib10 <plmib10.pfb -plr10 <plr10.pfb +plr10 <plr10.pfb plr12 <plr12.pfb plr17 <plr17.pfb plr5 <plr5.pfb |