Yorick van Pelt 2e60402320 theme switcher, dpi, font fixes		2018-03-30 00:32:22 +02:00
..
actual	theme switcher, dpi, font fixes	2018-03-30 00:32:22 +02:00
alternate	theme switcher, dpi, font fixes	2018-03-30 00:32:22 +02:00
dark	theme switcher, dpi, font fixes	2018-03-30 00:32:22 +02:00
light	theme switcher, dpi, font fixes	2018-03-30 00:32:22 +02:00