projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2591fc4) | patch
Forgot to add second patch file.
authorLiana Hadarean <lianahady@gmail.com>
Wed, 25 May 2016 05:36:14 +0000 (22:36 -0700)
committerLiana Hadarean <lianahady@gmail.com>
Wed, 25 May 2016 05:36:14 +0000 (22:36 -0700)
commit6e8d9a67eb86fbaf7304b5c993487e69d199b8ce
tree1c3a789400908c0e4ada691668d43a3ab11f8c60tree
parent2591fc4f57030b31c2c49d5c2dae9e96d3ce3afacommit | diff
Forgot to add second patch file.
contrib/cryptominisat-4.2.0.second.patch [new file with mode: 0644] blob