Jakob Borg 2ae3ea0d52 gui, man, authors: Update docs, translations, and contributors 5 tahun lalu
..
css e2f6d0d6c4 UI enhancements on mobile (#6180) 6 tahun lalu
font cd54186113 Add support for themes (fixes #1925) 10 tahun lalu
img 9cc49aea77 assets, gui: Losslessly compress all JPG, PNG, and PDF images (#6265) 6 tahun lalu
lang 2ae3ea0d52 gui, man, authors: Update docs, translations, and contributors 5 tahun lalu