diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2015-12-13 20:32:25 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2015-12-13 20:33:34 +0000 |
| commit | 6ab013c425e9ca32c9b36cc8fe72adc9d8e50cde (patch) | |
| tree | 30129f651bc62a6fbd14b9420ec0e29cacc4eccd /scripts | |
| parent | cbac5ebe589c404b8916f4a1074a345fc9b1446e (diff) | |
| download | klee-6ab013c425e9ca32c9b36cc8fe72adc9d8e50cde.tar.gz | |
Ignore some generated files that will be visible if doing an in source
build. Spotted by @domainexpert
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions