projects / cvc5.git / commit
| author | Mathias Preiner <mathias.preiner@gmail.com> | |
| Wed, 19 Sep 2018 15:24:11 +0000 (08:24 -0700) | ||
| committer | Mathias Preiner <mathias.preiner@gmail.com> | |
| Sat, 22 Sep 2018 23:30:59 +0000 (16:30 -0700) | ||
| commit | bd5067d49cc113750887b62f865df8048c648cce | |
| tree | d6323ed40026280674043fa8c4093437e33df2e1 | tree |
| parent | d78113d408d706d44c1d8cfc379fa86cd8e20460 | commit | diff |
| src/base/CMakeLists.txt | diff | blob | history | |
| src/base/git_versioninfo.cpp.in | diff | blob | history |