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