projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1004929) | patch
make dist-building more pleasant (put .tar.gz in builds/ directory)
authorMorgan Deters <mdeters@gmail.com>
Wed, 27 Oct 2010 20:13:31 +0000 (20:13 +0000)
committerMorgan Deters <mdeters@gmail.com>
Wed, 27 Oct 2010 20:13:31 +0000 (20:13 +0000)
commit3acadd4924eaef5fa31bf8982f52b3b893cf003a
treeaa42dff3614a55a02784438fd83ba4d38e99b8f4tree
parent1004929b17708eb3a6043567f55b5e7b0b1eeab3commit | diff
make dist-building more pleasant (put .tar.gz in builds/ directory)
Makefile.builds.in diff | blob | history