projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2f41628) | patch
Adding a missing makefile to the dist (fixes distcheck)
authorMorgan Deters <mdeters@cs.nyu.edu>
Wed, 1 May 2013 14:50:39 +0000 (10:50 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Wed, 1 May 2013 14:50:39 +0000 (10:50 -0400)
commit756fb11b4d7ea96377ef8d75b32d6213274671fd
tree614a641e9d1afd6f5ae31cb1a226e2dff06d535ctree
parent2f4162877ad455c8c80f60a9bedf0b779b44ecaacommit | diff
Adding a missing makefile to the dist (fixes distcheck)
test/regress/Makefile.am diff | blob | history