projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1c77996) | patch
fix for tarball building (fixes debian and distcheck problems in nightly builds)
authorMorgan Deters <mdeters@gmail.com>
Mon, 5 Nov 2012 22:34:33 +0000 (22:34 +0000)
committerMorgan Deters <mdeters@gmail.com>
Mon, 5 Nov 2012 22:34:33 +0000 (22:34 +0000)
commitc48729f90e752425bb46c99e3becd59eeca1daaf
tree436f28bd13e33165e57c7a37aa02c209b4de520etree
parent1c779966545190efa59b019572237562eea66dbfcommit | diff
fix for tarball building (fixes debian and distcheck problems in nightly builds)
Makefile.am diff | blob | history