diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2013-08-28 05:35:16 -0700 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2013-08-28 05:35:16 -0700 |
| commit | 821b6f6473334eaa6c78205603faf14a2c1aca41 (patch) | |
| tree | 8a37196d8f5939fcf7e231d7c284db82f108200a | |
| parent | 1b69ae748e3a2ec5adf66396676447b172fffaf7 (diff) | |
| parent | 66cb7a3fff0ecb7f2af79db5e85c2c1d6a96f175 (diff) | |
| download | klee-821b6f6473334eaa6c78205603faf14a2c1aca41.tar.gz | |
Merge pull request #22 from antiAgainst/master
Add .gitignore
| -rw-r--r-- | .gitignore | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore new file mode 100644 index 00000000..f421d69f --- /dev/null +++ b/.gitignore @@ -0,0 +1,16 @@ +Release/ +Release+Asserts/ +Debug/ +Debug+Asserts/ + +cscope.* + +*.log +*.sum +*.out +*.status + +*.config +*.cfg + +config.h |