deque: add .gitignore

[model-checker-benchmarks.git] / chase-lev-deque / .gitignore

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