diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2016-11-03 15:28:55 +0000 |
|---|---|---|
| committer | Dan Liew <delcypher@gmail.com> | 2016-11-07 22:16:29 +0000 |
| commit | e853f0bceeb7099acc3df16e52a3cfd1dabad422 (patch) | |
| tree | 4a6e2c43d500ed1cce6f622ebaa9c68ba09737ec /.dockerignore | |
| parent | 6c2bba097639922244201e6140f71ccd14e335c3 (diff) | |
| download | klee-e853f0bceeb7099acc3df16e52a3cfd1dabad422.tar.gz | |
[CMake] Report git revision information if available.
This is done as a separate commit because it imports third party code. It's under the Boost license though so it "should be" fine.
Diffstat (limited to '.dockerignore')
0 files changed, 0 insertions, 0 deletions