Add gitignore files

[urcu.git] / formal-model / .gitignore

diff --git a/formal-model/.gitignore b/formal-model/.gitignore
new file mode 100644 (file)
index 0000000..49fdd8a
--- /dev/null
+++ b/formal-model/.gitignore
@@ -0,0 +1,3 @@
+pan
+pan.*
+urcu.spin.trail