projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3ee318e) | patch
Remove remaining references to Boost and Autotools (#3390)
authorAndres Noetzli <andres.noetzli@gmail.com>
Tue, 15 Oct 2019 20:59:41 +0000 (13:59 -0700)
committerGitHub <noreply@github.com>
Tue, 15 Oct 2019 20:59:41 +0000 (13:59 -0700)
commitc5eb0c1900e8cf12a18d15d8b1c0660c626bf137
tree846c6971125275cc94943b9d76beacef9f1c19aetree
parent3ee318ec4b2930fa1234c3f49894ba343008eca3commit | diff
Remove remaining references to Boost and Autotools (#3390)

This commit removes references to Boost and Autotools in the copyright
information and CMakeLists.txt.
CMakeLists.txt diff | blob | history
COPYING diff | blob | history