Harald Kuhr f3749b8fc6 #402 Now forces ProfileDeferralMgr.activateProfiles() if TM plugins are used.

2018-06-13 17:00:32 +02:00

..

src

#402 Now forces ProfileDeferralMgr.activateProfiles() if TM plugins are used.

2018-06-13 17:00:32 +02:00

license.txt

Minor clean up and doc changes.

2011-02-16 22:13:12 +01:00

pom.xml

[maven-release-plugin] prepare for next development iteration

2016-11-02 19:37:07 +01:00

todo.txt

Updated todo

2015-04-08 13:40:00 +02:00