projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 87e0b50) | patch
cmake: Remove install rules for old API headers. (#6120)
authorMathias Preiner <mathias.preiner@gmail.com>
Fri, 12 Mar 2021 19:26:44 +0000 (11:26 -0800)
committerGitHub <noreply@github.com>
Fri, 12 Mar 2021 19:26:44 +0000 (19:26 +0000)
commit092d7d16cd7be4337d4408d35ce8b200fca3c768
treeed45376d0ee0d848b870065e90f2a2426ab18834tree
parent87e0b503340957a62d8302973f676476495f6c72commit | diff
cmake: Remove install rules for old API headers. (#6120)
src/CMakeLists.txt diff | blob | history