projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fc35ca2) | patch
auto-generated list of AC_CONFIG_FILES so that you needn't add each recursive Makefil...
authorMorgan Deters <mdeters@gmail.com>
Fri, 5 Feb 2010 22:31:33 +0000 (22:31 +0000)
committerMorgan Deters <mdeters@gmail.com>
Fri, 5 Feb 2010 22:31:33 +0000 (22:31 +0000)
commit476c18ff1742daf35c25acdab2c3df800085464d
tree71c38919e38f0df1f81d2f12e406c6993df1f967tree
parentfc35ca29227dfb5e47ab925f6dd4d5a5fdacb8a8commit | diff
auto-generated list of AC_CONFIG_FILES so that you needn't add each recursive Makefile to configure.ac
configure diff | blob | history
configure.ac diff | blob | history