diff options
| author | Julian Büning <julian.buening@rwth-aachen.de> | 2020-02-04 00:08:12 +0100 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2020-02-24 10:16:36 +0000 |
| commit | f253fd3d2c070573ad86350c4b8495fb58766584 (patch) | |
| tree | a5fbbfd87c809daddd27b509a8bb8ef9e8b1eaee /scripts | |
| parent | fda7031cfa592ba6cf11728ac8b9fc2e18843b03 (diff) | |
| download | klee-f253fd3d2c070573ad86350c4b8495fb58766584.tar.gz | |
find_llvm.cmake: enable parsing for git version
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions