changes

[model-checker-benchmarks.git] / spsc-queue / .gitignore

diff --git a/spsc-queue/.gitignore b/spsc-queue/.gitignore
index b7d03a7..2485456 100644 (file)
--- a/spsc-queue/.gitignore
+++ b/spsc-queue/.gitignore
@@ -1 +1,2 @@
 /spsc-queue
 /spsc-queue

+/spsc-relacy