projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 943a02d) | patch
docs: Some fixes in options docs. (#8710)
authorAina Niemetz <aina.niemetz@gmail.com>
Tue, 3 May 2022 17:35:39 +0000 (10:35 -0700)
committerGitHub <noreply@github.com>
Tue, 3 May 2022 17:35:39 +0000 (17:35 +0000)
commitea74d802c27ce8c0bdd0564b9720e030333c5ec6
tree40bcd0331aa6d9af5083f39691fdd75bd0f8e449tree
parent943a02def30dca73a6e9ac2eb744bcf87372e920commit | diff
docs: Some fixes in options docs. (#8710)
docs/options.rst diff | blob | history