diff options
| author | Julian Büning <julian.buening@comsys.rwth-aachen.de> | 2023-05-28 14:35:39 +0200 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2023-06-07 18:01:43 +0100 |
| commit | a31d20045b8e4a9a835459c52c946d2693a2403b (patch) | |
| tree | e8d5e6ab7e11757f710fe00e06eab6a68460a370 /.gitattributes | |
| parent | e10d366aa7b052b2de9475f82c54ede827de939d (diff) | |
| download | klee-a31d20045b8e4a9a835459c52c946d2693a2403b.tar.gz | |
unittests/CMakeLists.txt: set gtest include dir only if necessary
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions