From: Brian Norris <banorris@uci.edu>
Date: Sat, 9 Mar 2013 00:18:19 +0000 (-0800)
Subject: deque: add .gitignore
X-Git-Tag: oopsla2013-final~12
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker-benchmarks.git;a=commitdiff_plain;h=2f3d40c4e6a817013804e62e0009cf6247d95321;hp=c7c91ac03d3c6651b8fbe1d61afcc022f1ec3e18

deque: add .gitignore
---

diff --git a/chase-lev-deque/.gitignore b/chase-lev-deque/.gitignore
new file mode 100644
index 0000000..95811e0
--- /dev/null
+++ b/chase-lev-deque/.gitignore
@@ -0,0 +1 @@
+/main