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 /lib/Module/PhiCleaner.cpp | |
parent | 84f0f7b5d3e5ee46997d67ef8aed5d3559c5c111 (diff) | |
download | klee-66cb7a3fff0ecb7f2af79db5e85c2c1d6a96f175.tar.gz |
Add Debug and Debug+Asserts in .gitignore.
Diffstat (limited to 'lib/Module/PhiCleaner.cpp')
0 files changed, 0 insertions, 0 deletions