This repository has been archived on 2026-05-28. You can view files and clone it. You cannot open issues or pull requests or push a commit.

Jakob Borg df866e10c8 gui: Increase padding a bit again (ref #6153) ...

I change my mind on this, the modals need *some* padding to not look weird.

2019-11-19 22:03:31 +01:00

..

css

gui: Increase padding a bit again (ref #6153)

2019-11-19 22:03:31 +01:00

font

…

img

…

lang

gui, man, authors: Update docs, translations, and contributors

2019-06-12 07:45:26 +02:00