diff options
| author | Lei Zhang <antiAgainst@gmail.com> | 2013-08-26 21:00:10 -0700 |
|---|---|---|
| committer | Lei Zhang <antiAgainst@gmail.com> | 2013-08-26 21:00:10 -0700 |
| commit | 66cb7a3fff0ecb7f2af79db5e85c2c1d6a96f175 (patch) | |
| tree | 1dc1f1def995e07f1a4bde251becdb6670c5183b | |
| parent | 84f0f7b5d3e5ee46997d67ef8aed5d3559c5c111 (diff) | |
| download | klee-66cb7a3fff0ecb7f2af79db5e85c2c1d6a96f175.tar.gz | |
Add Debug and Debug+Asserts in .gitignore.
| -rw-r--r-- | .gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index cc82eac3..f421d69f 100644 --- a/.gitignore +++ b/.gitignore @@ -1,5 +1,7 @@ Release/ Release+Asserts/ +Debug/ +Debug+Asserts/ cscope.* |