projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3a0fc2e) | patch
README: Fix link to INSTALL.rst. (#7222)
authorAina Niemetz <aina.niemetz@gmail.com>
Tue, 21 Sep 2021 00:23:43 +0000 (17:23 -0700)
committerGitHub <noreply@github.com>
Tue, 21 Sep 2021 00:23:43 +0000 (00:23 +0000)
commit4a24a22cf0aa633ac4d7c9b14b310ff798c5e3d1
tree8eebc6d9d32138a6c5de25647cd3d5ecf31b8506tree
parent3a0fc2e7f21d797b4f9f7f43a7f4331fec97e05dcommit | diff
README: Fix link to INSTALL.rst. (#7222)
README.md diff | blob | history