diff options
| author | Lei Zhang <antiAgainst@gmail.com> | 2013-08-26 20:23:48 -0700 |
|---|---|---|
| committer | Lei Zhang <antiAgainst@gmail.com> | 2013-08-26 20:23:48 -0700 |
| commit | 84f0f7b5d3e5ee46997d67ef8aed5d3559c5c111 (patch) | |
| tree | ecc169738173b9d1d8950186afcf9e5709cf1470 /.gitignore | |
| parent | c4147c2ad9ba1e74642e1a3de31be8f4446cc7f3 (diff) | |
| download | klee-84f0f7b5d3e5ee46997d67ef8aed5d3559c5c111.tar.gz | |
Add .gitignore
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore new file mode 100644 index 00000000..cc82eac3 --- /dev/null +++ b/.gitignore @@ -0,0 +1,14 @@ +Release/ +Release+Asserts/ + +cscope.* + +*.log +*.sum +*.out +*.status + +*.config +*.cfg + +config.h |