kremsy 7a18d7e20c added a todo

2014-05-11 21:29:44 +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

improved script mode check

2014-05-11 14:41:14 +02:00

Server.php

revert match settings manager (nevermind)

2014-05-11 16:02:29 +02:00

ServerCommands.php

applied common formatting

2014-05-02 17:50:30 +02:00

UsageReporter.php

fixed usagereporter

2014-05-04 16:07:04 +02:00