projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8476f38) | patch
Fix examples instructions in INSTALL.md. (#4397)
authorMathias Preiner <mathias.preiner@gmail.com>
Mon, 27 Apr 2020 20:42:28 +0000 (13:42 -0700)
committerGitHub <noreply@github.com>
Mon, 27 Apr 2020 20:42:28 +0000 (13:42 -0700)
commitdc9b11c33d0f3283b82f2c87bfd7dd4c7126b0d0
tree1bbb7fbbd1b8332f28fd23388917f0d3eb9d6d6ctree
parent8476f38b6a3288eebe50e12a2dc6b76a10b65aaecommit | diff
Fix examples instructions in INSTALL.md. (#4397)
INSTALL.md diff | blob | history