Commit Graph

3 Commits

Author SHA1 Message Date
ylemkimon
800cdb2d23 Cleanup font build scripts & minor font updates (#2155)
* Minor font updates

* Update screenshots

* Cleanup build scripts
2019-12-07 13:11:45 +09:00
Eddie Kohler
7192bd6595 Fix #683.
Shift spaces back into the replacement middle delimiter.
2017-05-12 09:28:49 -04:00
Eddie Kohler
e449b2d61a Handle \middle. 2016-12-08 16:41:19 -05:00