Steffen Schröder 5619596659 setting manager deletes old unused settings

2014-05-01 17:35:17 +02:00

..

CallbackListener.php

Removed Closing PHP Tags

2013-12-15 09:00:30 +01:00

CallbackManager.php

setting manager deletes old unused settings

2014-05-01 17:35:17 +02:00

TimerListener.php

begin timin

2014-05-01 17:35:10 +02:00

TimerManager.php

small fix timer manager

2014-05-01 17:35:14 +02:00