chiark / gitweb /
~bjharris / bedstead.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f729008) | patch
strokefont: Better font name handling
authorBen Harris <bjh21@bjh21.me.uk>
Sat, 12 Aug 2017 09:05:52 +0000 (10:05 +0100)
committerBen Harris <bjh21@bjh21.me.uk>
Sat, 12 Aug 2017 09:05:52 +0000 (10:05 +0100)
commitb83df760331b6f77c0826c8a0edc020696bf5f9f
treec93ed31c1565f07249ade248575bcfa767725f6btree | snapshot
parentf7290084a38ba3a0cc83f444cfd6c7f195e03b53commit | diff
strokefont: Better font name handling

This gets the PostScript names right.  TTF names are more difficult.
strokefont.py diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.