diff options
author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2013-10-11 11:51:10 +0100 |
---|---|---|
committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2013-10-11 11:51:10 +0100 |
commit | de6cc3646fa27a159015fd2a6c80a8d5c43715a6 (patch) | |
tree | 749415e0b34afb84bf94c6ace67eeee404c47950 /.gitignore | |
parent | 7adaf410e2819ba7de7aad92ce2807c2f451ff7a (diff) | |
download | klee-de6cc3646fa27a159015fd2a6c80a8d5c43715a6.tar.gz |
Added Output/ and site.exp to .gitignore
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index f421d69f..fb468a14 100644 --- a/.gitignore +++ b/.gitignore @@ -2,6 +2,7 @@ Release/ Release+Asserts/ Debug/ Debug+Asserts/ +Output/ cscope.* @@ -14,3 +15,4 @@ cscope.* *.cfg config.h +site.exp |