From: Mathieu Desnoyers 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.lttng.org./?a=commitdiff_plain;h=4ccf3e7c5f7b23c99278d56e95b82b4e337a172b;p=userspace-rcu.git Remove stale file Signed-off-by: Mathieu Desnoyers --- 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