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

2020-01-14 08:01:03 +01:00

..

css

UI enhancements on mobile (#6180)

2019-11-23 12:25:25 +00: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

2020-01-14 08:01:03 +01:00