projects / cvc5.git / commit
| author | Aina Niemetz <aina.niemetz@gmail.com> | |
| Mon, 24 Sep 2018 19:21:14 +0000 (12:21 -0700) | ||
| committer | GitHub <noreply@github.com> | |
| Mon, 24 Sep 2018 19:21:14 +0000 (12:21 -0700) | ||
| commit | 81740fe7b76fea687695aee486e10f23fa62089f | |
| tree | 09474aaa2b212a81b135a8844d8f1e4c3ee4b656 | tree |
| parent | 7bfcbebe0f7db7d336cae04ccdfdc3c2b1aff69b | commit | diff |
| cmake/GetGitRevisionDescription.cmake | [deleted file] | blob | history |
| cmake/GetGitRevisionDescription.cmake.in | [deleted file] | blob | history |
| src/base/CMakeLists.txt | diff | blob | history |