projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 93fed14) | patch
Fixing an error in the previous travis commit.
authorTim King <taking@google.com>
Wed, 21 Sep 2016 07:07:32 +0000 (00:07 -0700)
committerTim King <taking@google.com>
Wed, 21 Sep 2016 07:07:32 +0000 (00:07 -0700)
commit8ab6b5dc5540d8b3d3e0b7a92309a90a0a971922
tree6fbeb3b59eaf3bfbdb56153487d874802d3cc652tree
parent93fed148a4094c93e96aa489e2686ecfe3ae2172commit | diff
Fixing an error in the previous travis commit.
.travis.yml diff | blob | history