projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9e8d041) | patch
last build system fix for now: fix some typos affecting Mac
authorACSYS <cvc4-devel@cs.nyu.edu>
Thu, 25 Oct 2012 19:56:39 +0000 (19:56 +0000)
committerACSYS <cvc4-devel@cs.nyu.edu>
Thu, 25 Oct 2012 19:56:39 +0000 (19:56 +0000)
commit20897efe113ff62e5a91840933a0b424e32f6771
treeda16f4a8504c546e1113f3936f610c5839fe8bfatree
parent9e8d041fd0b66816a65a2a07359abe42aeb8a7ddcommit | diff
last build system fix for now: fix some typos affecting Mac
configure.ac diff | blob | history