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
..
integration	Issue #636 - rename all application-settings things to preferences-settings	2017-06-10 11:20:23 +02:00
DrawingTest.js	add missing EOF new lines	2017-01-08 20:43:15 +01:00