chiark / gitweb /
Add prime and double-prime glyphs.
authorBen Harris <bjh21@bjh21.me.uk>
Sun, 26 Nov 2017 16:20:14 +0000 (16:20 +0000)
committerBen Harris <bjh21@bjh21.me.uk>
Sun, 26 Nov 2017 16:20:14 +0000 (16:20 +0000)
commit049d92d5f29ae060e3bcc1058ec79719ff988e7a
tree40dd6b9c5769d07b9f49b0b112f2c68dc4efe4c7
parentf1f75998548ebdb82e2f0db251a0f3c4bdc2d74d
Add prime and double-prime glyphs.

Not the prettiest, but they're visually distinct from apostrophes and
accents.
bedstead.c