MK13 fdef4ee9ae Merge remote-tracking branch 'origin/master'

2022-05-08 21:30:06 +02:00

..

src/main

#8 Add Jenkins jobs

2022-05-08 21:29:53 +02:00

pom.xml

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

2022-05-08 21:25:25 +02:00