projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 08005eb) | patch
Remove portfolio option from builds. (#1496)
authorAina Niemetz <aina.niemetz@gmail.com>
Mon, 8 Jan 2018 23:30:16 +0000 (15:30 -0800)
committerGitHub <noreply@github.com>
Mon, 8 Jan 2018 23:30:16 +0000 (15:30 -0800)
commitbf56c6cd619a0ad01d7a830bdd4bdfb6e143c27a
tree029189c667e3ed5bcbaafd784c6457690816d403tree
parent08005eb8b03ff7827278a7246784c726790892f8commit | diff
Remove portfolio option from builds. (#1496)
.travis.yml diff | blob | history