kremsy 1038abdbed updated copyright label		2020-01-22 10:39:35 +01:00
..
Commands.php	updated copyright label	2020-01-22 10:39:35 +01:00
Config.php	updated copyright label	2020-01-22 10:39:35 +01:00
Directory.php	updated copyright label	2020-01-22 10:39:35 +01:00
RankingManager.php	updated copyright label	2020-01-22 10:39:35 +01:00
ScriptManager.php	moved scriptmanager	2017-03-26 13:11:30 +02:00
Server.php	updated copyright label	2020-01-22 10:39:35 +01:00
ServerOptionsMenu.php	updated copyright label	2020-01-22 10:39:35 +01:00
ServerUIPropertiesMenu.php	ServerUIPropertiesMenu for Configurator to edit builtin UIProperties of MP (#194)	2018-10-06 21:01:33 +02:00
UsageReporter.php	updated copyright label	2020-01-22 10:39:35 +01:00
VoteRatiosMenu.php	updated copyright label	2020-01-22 10:39:35 +01:00