Alexandre Flament e3e5d2bd22 Theme: all top right icons have labels including "Preferences"		2022-07-02 10:04:35 +02:00
..
plugins/external_plugins	theme: remove __common__	2022-05-07 19:40:48 +02:00
themes/simple	Theme: all top right icons have labels including "Preferences"	2022-07-02 10:04:35 +02:00