diff options
| author | Daniel Dunbar <daniel@zuster.org> | 2014-09-12 18:00:03 -0700 |
|---|---|---|
| committer | Daniel Dunbar <daniel@zuster.org> | 2014-09-12 18:00:03 -0700 |
| commit | f31f54e5cfeebd956f49920d680a167507400994 (patch) | |
| tree | 7bc3db6311c6cc70732f243aa4e149c89b9ff5e4 /.gitignore | |
| parent | f9d4391e880766dcd02e8ca824bc386b4a4a8e6d (diff) | |
| download | klee-f31f54e5cfeebd956f49920d680a167507400994.tar.gz | |
Update .gitignore.
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index ba543c8a..d4840f64 100644 --- a/.gitignore +++ b/.gitignore @@ -5,6 +5,7 @@ Debug+Asserts/ Output/ cscope.* +*~ *.log *.sum |