projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2772965) | patch
cmake: Fix git version info (again). (#2523)
authorAina Niemetz <aina.niemetz@gmail.com>
Tue, 25 Sep 2018 00:32:43 +0000 (17:32 -0700)
committerAndres Noetzli <andres.noetzli@gmail.com>
Tue, 25 Sep 2018 00:32:43 +0000 (17:32 -0700)
commitcf589cb256eeba427a08f2831a3fe46e9e52f095
tree56618d8a50e94abea22fe8fed194e6a418eb81c9tree
parent2772965140024b2bf75e800dea1d9c2e0126f7a0commit | diff
cmake: Fix git version info (again). (#2523)
src/base/CMakeLists.txt diff | blob | history