|
css
|
gui: Increase padding a bit again (ref #6153)
|
2019-11-19 22:03:31 +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-06-12 07:45:26 +02:00 |
