Jakob Borg 8bd67f72dd gui, man, authors: Update docs, translations, and contributors

2021-02-17 11:17:45 +01:00

..

css

gui: Reduce checkboxes size in Advanced Configuration (fixes #6949) (#7296)

2021-01-27 12:23:58 +01: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-17 11:17:45 +01:00