Alexander Nell 7354ed278c Moved Default-Karma-Plugin constant		2020-05-11 17:14:10 +02:00
..
DirectoryBrowser.php	updated copyright label	2020-01-22 10:39:35 +01:00
Map.php	Include map times in Map-Structure and update them when necessary	2020-02-28 19:54:47 +01:00
MapActions.php	fixed number mismatch declerations	2020-04-21 17:44:54 +02:00
MapCommands.php	Moved Default-Karma-Plugin constant	2020-05-11 17:14:10 +02:00
MapList.php	Unified Creations of round Text-Buttons	2020-05-07 18:39:27 +02:00
MapManager.php	Include map times in Map-Structure and update them when necessary	2020-02-28 19:54:47 +01:00
MapQueue.php	updated copyright label	2020-01-22 10:39:35 +01:00