From: Brian Norris <banorris@uci.edu>
Date: Thu, 8 Mar 2012 02:13:16 +0000 (-0800)
Subject: add .gitignore
X-Git-Tag: pldi2013~623
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;ds=sidebyside;h=81c2438e63fc3b6c420d995e807dc640ebd1cd9e;p=model-checker.git

add .gitignore
---

diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..379c7d6
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,6 @@
+# generic types
+*.o
+.*.swp
+
+# files in this directory
+/libthreads