Sebastian Sdorra 49b79f740f merge repository heads

2016-06-29 20:40:37 +02:00

..

src

fix loading of repository handler informations on some systems, see issue #841

2016-06-24 17:58:02 +02:00

pom.xml

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

2016-06-28 13:11:14 +02:00