kremsy e6afd27440 labelline height default

2017-03-30 17:58:04 +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

labelline height default

2017-03-30 17:58:04 +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

add UsageInformation Interface to every class which can be used by Plugin Authors

2017-03-26 19:44:55 +02:00