Support ▶ in the lambda prettyprinter.
authorMatthijs Kooijman <matthijs@stdin.nl>
Tue, 1 Dec 2009 10:57:27 +0000 (11:57 +0100)
committerMatthijs Kooijman <matthijs@stdin.nl>
Tue, 1 Dec 2009 10:57:27 +0000 (11:57 +0100)
We'll have to use the glyph from our roman font, since our sans font
doesn't have it.


No differences found