beu ed4e2b2614 Add a setting to disable removing unused settings		2022-04-27 09:49:52 +02:00
..
Setting.php	Add the possibility to unlink settings on multiple servers	2022-04-10 22:11:28 +02:00
SettingManager.php	Add a setting to disable removing unused settings	2022-04-27 09:49:52 +02:00