projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d8757fb) | patch
list portfolio_util.h in Makefile, so it gets distributed (fixes debian build)
authorMorgan Deters <mdeters@gmail.com>
Mon, 10 Sep 2012 14:26:48 +0000 (14:26 +0000)
committerMorgan Deters <mdeters@gmail.com>
Mon, 10 Sep 2012 14:26:48 +0000 (14:26 +0000)
commit28a413e59f035841cf61c8ba1e3d1b575d1d89d1
treee0d0ef068b2738c87a2b225890a985f3fc4d7013tree
parentd8757fb4159e35de9c9a88e0ebb3c2a06d69633dcommit | diff
list portfolio_util.h in Makefile, so it gets distributed (fixes debian build)
src/main/Makefile.am diff | blob | history