barrier: add .gitignore

[model-checker-benchmarks.git] / barrier / .gitignore

diff --git a/barrier/.gitignore b/barrier/.gitignore
new file mode 100644 (file)
index 0000000..dc2a8be
--- /dev/null
+++ b/barrier/.gitignore
@@ -0,0 +1 @@
+/barrier