element-web/res/themes/legacy-dark
Bruno Windels 25d3257d80 rename element(-dark) to light/dark so old prefs apply 2020-07-14 18:39:14 +02:00
..
css rename element(-dark) to light/dark so old prefs apply 2020-07-14 18:39:14 +02:00