legoboyvdlp R 2b4388ba65 Merge branch 'dev' into maint		2020-10-20 18:50:01 +01:00
..
dialogs	Merge branch 'dev' into maint	2020-10-20 18:50:01 +01:00
it-gui.xml	Overall GUI color revision	2020-06-13 14:38:09 +02:00