beu 4dcfb0e9f4 prevent to delete unused settings of other servers		2022-04-27 00:19:41 +02:00
..
Setting.php	Add the possibility to unlink settings on multiple servers	2022-04-10 22:11:28 +02:00
SettingManager.php	prevent to delete unused settings of other servers	2022-04-27 00:19:41 +02:00