projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fef5736) | patch
Improve INSTALL instructions. (#2866)
authorAina Niemetz <aina.niemetz@gmail.com>
Thu, 14 Mar 2019 22:17:31 +0000 (15:17 -0700)
committerGitHub <noreply@github.com>
Thu, 14 Mar 2019 22:17:31 +0000 (15:17 -0700)
commit504da2e215bd002ba763b7f102ddbd05917bc0d8
treeaa6f934b255aad4f68ea984af8721c4706a986d2tree
parentfef57367d28a62251cac47010cc6e80cd416832ecommit | diff
Improve INSTALL instructions. (#2866)
INSTALL.md diff | blob | history