Kris De Volder c9e87096fd Bump version to 1.25.1

2021-03-26 20:37:28 +00:00

..

src

updated javadoc html parsing, but without much success

2020-12-22 16:25:09 +01:00

pom.xml

Bump version to 1.25.1

2021-03-26 20:37:28 +00:00