Ask user about adjusting UI colors when choosing a theme
authorSoeren Apel <soeren@apelpie.net>
Fri, 26 Oct 2018 21:44:45 +0000 (23:44 +0200)
committerUwe Hermann <uwe@hermann-uwe.de>
Sat, 27 Oct 2018 19:17:52 +0000 (21:17 +0200)

No differences found