Wed, 04 Nov 2015 23:27:00 +0100 | wenzelm | avoid ligatures; | changeset | files |
Wed, 04 Nov 2015 22:08:07 +0100 | wenzelm | added propertional dashes from DejaVuSans (not Mono): 0x2013, 0x2014, 0x2015; | changeset | files |
Wed, 04 Nov 2015 20:35:58 +0100 | wenzelm | tuned whitespace; | changeset | files |