diff options
author | Norbert Preining <norbert@preining.info> | 2017-05-01 19:37:46 +0900 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2017-05-01 19:37:46 +0900 |
commit | 6ed730c6f6c06921e124802fad4e426ad9e59997 (patch) | |
tree | 800acbc31fc37138413c5314266f485359d12dc7 /texmf-dist/fonts/map/dvips/webomints | |
parent | bf4978cb42256324ea443acbfd9c2684e466652c (diff) |
add webomints
Diffstat (limited to 'texmf-dist/fonts/map/dvips/webomints')
-rw-r--r-- | texmf-dist/fonts/map/dvips/webomints/webo.map | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/texmf-dist/fonts/map/dvips/webomints/webo.map b/texmf-dist/fonts/map/dvips/webomints/webo.map new file mode 100644 index 00000000..c8184097 --- /dev/null +++ b/texmf-dist/fonts/map/dvips/webomints/webo.map @@ -0,0 +1 @@ +WebOMintsGD WebOMintsGD <WebOMintsGD.pfb |