diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2016-10-18 21:09:31 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-10-18 21:09:31 +0100 |
| commit | 35f6c2ba53eb0b76ebd7eb2f4a9d6684c9157335 (patch) | |
| tree | 4f1c083cf39d34416ac929d5f8468d7a1296f582 /Makefile.rules | |
| parent | b816fe6883532500225d8a9102574d832b65f65a (diff) | |
| parent | e20ba28933119800942757871a1ed5c05f6f388d (diff) | |
| download | klee-35f6c2ba53eb0b76ebd7eb2f4a9d6684c9157335.tar.gz | |
Merge pull request #484 from delcypher/fix_misleading_indentation
Fix `-Wmisleading-indentation` warning and also correctly set the `dirty` flag
Diffstat (limited to 'Makefile.rules')
0 files changed, 0 insertions, 0 deletions