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

diff --git a/.gitignore b/.gitignore
index 6223e7e..d4b7fc4 100644
--- a/.gitignore
+++ b/.gitignore
@@ -3,8 +3,8 @@
 .*.swp
 *.so
 *~
-*.*~
 
 # files in this directory
 /model
 /tags
+/docs