projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 97c9e6d) | patch
cmake: Fix git info if build directory is outside of source tree. (#7351)
authorMathias Preiner <mathias.preiner@gmail.com>
Tue, 12 Oct 2021 20:57:41 +0000 (13:57 -0700)
committerGitHub <noreply@github.com>
Tue, 12 Oct 2021 20:57:41 +0000 (13:57 -0700)
commitd4f5508ee07f5e9ec0de4721c5e2a784c0c06234
tree4dadcd7dd9894d88f74982c231c17cbc94582b79tree
parent97c9e6ddc22ff53408154bc3f82dae40992606f2commit | diff
cmake: Fix git info if build directory is outside of source tree. (#7351)
cmake/version.cmake diff | blob | history