Steffen Schröder ef9c141786 implemented new setting method		2014-05-13 16:03:26 +02:00
..
Config.php	applied common formatting	2014-05-02 17:50:30 +02:00
RankingManager.php	added a todo	2014-05-11 21:29:44 +02:00
ScriptManager.php	implemented new setting method	2014-05-13 16:03:26 +02:00
Server.php	moved Utility classes into own folder+namespace	2014-05-13 14:32:30 +02:00
ServerCommands.php	implemented new setting method	2014-05-13 16:03:26 +02:00
UsageReporter.php	implemented new setting method	2014-05-13 16:03:26 +02:00