John Blum f43def65e4 Release version 3.2 RC1 (2023.1.0). ...

See #2118

2023-10-13 08:44:25 -07: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.2 RC1 (2023.1.0).

2023-10-13 08:44:25 -07:00