2 commits

Author	SHA1	Message	Date
Charles Dang	44d9554361	Updated DejaVu Sans font files to version 2.37 (from 2.35) ... [ci skip] Source: https://dejavu-fonts.github.io/Download.html I haven't done any codepoint list updates in data/hardwired/fonts.cfg. Unlikely to cause issues, though, I think. The legacy TTF rendering system that uses it is mostly just used for the Help browser here on the 1.14 branch (on master it's completely unused and will be removed).	2018-03-25 09:18:09 +11:00
Ignacio R. Morelle	e552b5715b	Add DejaVu Sans Mono font, version 2.35 ... Same license terms as the other DejaVu Sans fonts. We won't need italics or the codepoint-wise GUI1 configuration for now.	2015-05-30 20:29:48 -03:00