projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 663c2df) | patch
Clean up "make install"-produced intermediate files (resolves bug 526)
authorMorgan Deters <mdeters@cs.nyu.edu>
Fri, 9 Aug 2013 13:56:50 +0000 (09:56 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Fri, 9 Aug 2013 13:56:50 +0000 (09:56 -0400)
commit753807683ee6e52d1859aaa6277fe65e74b1c0bc
tree76498110d131422efdf90a1bee4e61cce38b4dc4tree
parent663c2df0d089b316254bb713078dee8889129609commit | diff
Clean up "make install"-produced intermediate files (resolves bug 526)
src/Makefile.am diff | blob | history