.gitignore

[model-checker-benchmarks.git] / mcs-lock / .gitignore

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