projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3d2b33d) | patch
zlib not required; remove configure's dependency on it
authorMorgan Deters <mdeters@gmail.com>
Mon, 20 Feb 2012 18:22:27 +0000 (18:22 +0000)
committerMorgan Deters <mdeters@gmail.com>
Mon, 20 Feb 2012 18:22:27 +0000 (18:22 +0000)
commit63e0081c8639827b4cfef5fea32f4e7265e4a93d
treed4015fe114099c4e57f3c5439a25023c983f1698tree
parent3d2b33d66998261f9369cccc098140f64bc8b417commit | diff
zlib not required; remove configure's dependency on it
configure.ac diff | blob | history