Jakob Borg 33185fdeb5 gui, man, authors: Update docs, translations, and contributors il y a 5 ans
..
css 851ee51c1b gui: Sharpen device icons (fixes #5579) (#6837) il y a 5 ans
font cd54186113 Add support for themes (fixes #1925) il y a 10 ans
img 9cc49aea77 assets, gui: Losslessly compress all JPG, PNG, and PDF images (#6265) il y a 6 ans
lang 33185fdeb5 gui, man, authors: Update docs, translations, and contributors il y a 5 ans