odrling 3c7812bfd3 [gtk] set default theme to Arc		2019-10-09 11:01:58 +02:00
..
settings.ini	[gtk] set default theme to Arc	2019-10-09 11:01:58 +02:00