move everything out of trunk

[lttv.git] / trunk / verif / Spin / Src5.1.6 / version.h

diff --git a/trunk/verif/Spin/Src5.1.6/version.h b/trunk/verif/Spin/Src5.1.6/version.h
deleted file mode 100755 (executable)
index 23eb6a5..0000000
--- a/trunk/verif/Spin/Src5.1.6/version.h
+++ /dev/null
@@ -1 +0,0 @@
-#define SpinVersion    "Spin Version 5.1.6 -- 9 May 2008"