James Seibel 3356af9cca re-add "-dev" to the version number ...

For future releases the version number should be changed immediately beforehand.

2023-11-16 19:09:23 -06:00

..

src

re-add "-dev" to the version number

2023-11-16 19:09:23 -06:00

build.gradle

Fix some api:javadoc warnings and suppress future ones

2023-08-26 17:32:39 -05:00