projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cad60d9) | patch
another DISTCLEANFILES entry, for proper "make distclean" behavior (fixes "distclean...
authorMorgan Deters <mdeters@gmail.com>
Fri, 9 Nov 2012 17:39:05 +0000 (17:39 +0000)
committerMorgan Deters <mdeters@gmail.com>
Fri, 9 Nov 2012 17:39:05 +0000 (17:39 +0000)
commitd11716a24a2b70b7c3681e52de51bd622c4f6447
tree0206e07556f8c21d0c48c8f8a960b810fe4e66f6tree
parentcad60d99f8fe38dd5098d14958d2dd844bbe6584commit | diff
another DISTCLEANFILES entry, for proper "make distclean" behavior (fixes "distclean" target error last night)
Makefile.am diff | blob | history