Jochen Stärk d1b16f6b4d switch to new profiles (the old ones did not work)

2020-09-24 21:59:03 +02:00

..

src

switch to new profiles (the old ones did not work)

2020-09-24 21:59:03 +02:00

pom.xml

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

2020-09-15 12:35:49 +02:00