projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a8ff356) | patch
another small fix to "make dist" that can lead to a misconfigured tarball
authorMorgan Deters <mdeters@gmail.com>
Tue, 12 Apr 2011 18:45:44 +0000 (18:45 +0000)
committerMorgan Deters <mdeters@gmail.com>
Tue, 12 Apr 2011 18:45:44 +0000 (18:45 +0000)
commitef4867a2b481be042cbf337527bf296b5ddbb5d0
tree60554da6b54305e4d855194c9a78fcc74d032e3atree
parenta8ff3563d965e1220d6603becab09f446cc00d35commit | diff
another small fix to "make dist" that can lead to a misconfigured tarball
src/util/Makefile.am diff | blob | history