Tue, 29 Dec 2015 21:51:58 +0100 | wenzelm | more arrow symbols; | file | diff | annotate |
Tue, 29 Dec 2015 20:58:18 +0100 | wenzelm | more arrow symbols; | file | diff | annotate |
Sat, 07 Nov 2015 12:53:22 +0100 | wenzelm | added @{undefined} with somewhat undefined symbol; | file | diff | annotate |
Fri, 06 Nov 2015 19:37:51 +0100 | wenzelm | added glyphs 0x204b, 0x2b1a from DejaVuSansMono; | file | diff | annotate |
Wed, 04 Nov 2015 22:08:07 +0100 | wenzelm | added propertional dashes from DejaVuSans (not Mono): 0x2013, 0x2014, 0x2015; | file | diff | annotate |
Wed, 21 Oct 2015 16:54:15 +0200 | wenzelm | added glyphs 0x25a9 from DejaVuSansMono; | file | diff | annotate |
Wed, 14 Oct 2015 14:15:13 +0200 | wenzelm | added glyphs 0x21e4, 0x21e5, 0x27a7 from DejaVuSansMono; | file | diff | annotate |