X-Git-Url: http://git.liburcu.org/?a=blobdiff_plain;f=formal-model%2F.gitignore;fp=formal-model%2F.gitignore;h=49fdd8ac16457058eab8965086eb9e28ccbf213f;hb=d486ecdb45ad7b0908b7c4010672af72e5a67caf;hp=0000000000000000000000000000000000000000;hpb=3a86deba85b5b8bfca24b61610295a764b8f7602;p=urcu.git

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