Daniel Gultsch 581eb5556f make theme depend on dark/night mode on android 10+ ... closes #3611		2020-01-18 14:14:43 +01:00
..
theme-settings.xml	make theme depend on dark/night mode on android 10+	2020-01-18 14:14:43 +01:00