dekker-fences: add Dekker's critical section algorithm

[model-checker-benchmarks.git] / dekker-fences / .gitignore

diff --git a/dekker-fences/.gitignore b/dekker-fences/.gitignore
new file mode 100644 (file)
index 0000000..560aebf
--- /dev/null
+++ b/dekker-fences/.gitignore
@@ -0,0 +1 @@
+/dekker-fences