Jakob Borg d3f583c8c9 gui, man, authors: Update docs, translations, and contributors		2019-05-29 07:45:25 +02:00
..
css	gui: Adjust table column width to content size (fixes #4531) (#5565)	2019-04-18 18:35:44 +02: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-05-29 07:45:25 +02:00