projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9b9fef6) | patch
Remove timestamped javadoc comments (#7304)
authorGereon Kremer <nafur42@gmail.com>
Wed, 6 Oct 2021 15:55:55 +0000 (08:55 -0700)
committerGitHub <noreply@github.com>
Wed, 6 Oct 2021 15:55:55 +0000 (15:55 +0000)
commitffeb34d0d7c893ee30bb9083b9c4e1b36423c1ed
tree0bd28bc023af7c1fb1aa9bcc2ad8ea4e52712191tree
parent9b9fef64a317128b94dbf266ee50a30f6f3a64accommit | diff
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.
docs/api/java/CMakeLists.txt diff | blob | history