Gereon Kremer ffeb34d0d7 Remove timestamped javadoc comments (#7304) ...

This PR also removes the javadoc timestamps from index.html, which for some reason does not honor the -notimestamp option.

2021-10-06 15:55:55 +00:00

..

CMakeLists.txt

Remove timestamped javadoc comments (#7304)

2021-10-06 15:55:55 +00:00

index.rst

Various improvements to documentation (#7283)

2021-10-04 20:59:28 +00:00