mirror of
https://github.com/jgm/pandoc.git
synced 2026-09-24 15:44:59 +08:00
Microtype needs to know what fonts are being used. Thanks to dfc for the patch.
Microtype needs to know what fonts are being used. Thanks to dfc for the patch.