projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 267d2b6) | patch
this should fix the build; doxygen documentation now gets built in srcdir/doc/doxygen
authorMorgan Deters <mdeters@gmail.com>
Sat, 3 Sep 2011 18:31:24 +0000 (18:31 +0000)
committerMorgan Deters <mdeters@gmail.com>
Sat, 3 Sep 2011 18:31:24 +0000 (18:31 +0000)
commit9d9731007a17375aa242f15faace8c451cf3c258
tree19520beedf5ce0d9357c362bbd16cf6b5e8a5430tree
parent267d2b6d8addff9adafa3bd2574f54c741c7b0cdcommit | diff
this should fix the build; doxygen documentation now gets built in srcdir/doc/doxygen
configure.ac diff | blob | history