Jakob Borg 0ca737b528 gui, man, authors: Update docs, translations, and contributors 5 ani în urmă
..
css 851ee51c1b gui: Sharpen device icons (fixes #5579) (#6837) 5 ani în urmă
font cd54186113 Add support for themes (fixes #1925) 10 ani în urmă
img 9cc49aea77 assets, gui: Losslessly compress all JPG, PNG, and PDF images (#6265) 6 ani în urmă
lang 0ca737b528 gui, man, authors: Update docs, translations, and contributors 5 ani în urmă