Jocy 2e94928539 Replaced old with new LabelLine		2017-04-01 18:48:36 +02:00
..
CustomUIManager.php	add UsageInformation Interface to every class which can be used by Plugin Authors	2017-03-26 19:44:55 +02:00
IconManager.php	add UsageInformation Interface to every class which can be used by Plugin Authors	2017-03-26 19:44:55 +02:00
LabelLine.php	Replaced old with new LabelLine	2017-04-01 18:48:36 +02:00
ManialinkManager.php	Updated MXlist with new Labelline	2017-03-29 23:26:03 +02:00
ManialinkPageAnswerListener.php	update copyright label	2017-02-04 11:49:23 +01:00
StyleManager.php	Replaced old with new LabelLine	2017-04-01 18:48:36 +02:00