projects / model-checker-benchmarks.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: c7c91ac)
deque: add .gitignore
authorBrian Norris <banorris@uci.edu>
Sat, 9 Mar 2013 00:18:19 +0000 (16:18 -0800)
committerBrian Norris <banorris@uci.edu>
Sat, 9 Mar 2013 00:18:19 +0000 (16:18 -0800)
chase-lev-deque/.gitignore [new file with mode: 0644] patch | blob

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
C++11 memory model checker benchmarks