Jakob Borg d924bd7bd9 gui, man, authors: Update docs, translations, and contributors		2019-01-09 07:45:23 +01:00
..
css	gui: Use a modern font stack inspired by Bootstrap 4 (#5407)	2018-12-26 23:05:20 +01:00
font	Add support for themes (fixes #1925)	2016-01-10 17:57:27 +00:00
img	gui, assets: Compress PNGs using ZopfliPNG	2016-06-28 06:19:12 +00:00
lang	gui, man, authors: Update docs, translations, and contributors	2019-01-09 07:45:23 +01:00