Jakob Borg 6ebab5db07 gui, man, authors: Update docs, translations, and contributors		2021-02-24 07:45:23 +01:00
..
css	gui: Handle info labels that are longer than available space (fixes #944) (#7386)	2021-02-20 10:28:08 +00:00
font	Add support for themes (fixes #1925)	2016-01-10 17:57:27 +00:00
img	assets, gui: Losslessly compress all JPG, PNG, and PDF images (#6265)	2020-01-16 13:52:43 +01:00
lang	gui, man, authors: Update docs, translations, and contributors	2021-02-24 07:45:23 +01:00