X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=.gitignore;fp=.gitignore;h=6223e7e247fe260fa7f4aa31f9203c88dace4695;hb=02792abf9399d1dca2fab7bc511f09e934d05f1d;hp=d653bcdd0365e1e5545331d199afca6e62861918;hpb=7f626cb1b37a65340c9d82a124aa59797f8083ce;p=model-checker.git

diff --git a/.gitignore b/.gitignore
index d653bcd..6223e7e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -2,6 +2,8 @@
 *.o
 .*.swp
 *.so
+*~
+*.*~
 
 # files in this directory
 /model