projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 62e51d8) | patch
fixes to "make distclean" and C compatibility bindings; should fix the broken builds...
authorMorgan Deters <mdeters@gmail.com>
Sat, 29 Sep 2012 13:53:01 +0000 (13:53 +0000)
committerMorgan Deters <mdeters@gmail.com>
Sat, 29 Sep 2012 13:53:01 +0000 (13:53 +0000)
commit90351f11da6c36184a3f6339ce066038459026a1
treef58dd252ab1a2f00fc91ed9293ff1e15106a76f7tree
parent62e51d870facff46ce382ddaa8216be2737d1c45commit | diff
fixes to "make distclean" and C compatibility bindings; should fix the broken builds last night
Makefile.am diff | blob | history