Christoph Strobl daba02ba8b Release version 3.1 M1 (2023.0.0). ...

See #1866

2023-02-17 13:27:49 +01:00

..

src/main

Remove custom Javadoc stylesheet as it no longer works with Java 17.

2022-03-01 09:05:41 +01:00

pom.xml

Release version 3.1 M1 (2023.0.0).

2023-02-17 13:27:49 +01:00