Julian Descottes
|
c2dbddcf9f
|
Issue #636 - rename all application-settings things to preferences-settings
The name is not ideal, but it's better to have a MiscPreferencesController than a MainApplicationController for this kind of very simple panels.
|
2017-06-10 11:20:23 +02:00 |
|