From: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Date: Sat, 26 Sep 2009 07:05:05 +0000 (-0400)
Subject: Remove stale file
X-Git-Tag: v0.1~28
X-Git-Url: https://git.liburcu.org/?p=urcu.git;a=commitdiff_plain;h=4ccf3e7c5f7b23c99278d56e95b82b4e337a172b

Remove stale file

Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
---

diff --git a/formal-model/futex-wakeup/.futex.spin.swp b/formal-model/futex-wakeup/.futex.spin.swp
deleted file mode 100644
index 4e5aa44..0000000
Binary files a/formal-model/futex-wakeup/.futex.spin.swp and /dev/null differ