move everything out of trunk

[lttv.git] / trunk / verif / Spin / Test / hello

diff --git a/trunk/verif/Spin/Test/hello b/trunk/verif/Spin/Test/hello
deleted file mode 100755 (executable)
index cf80a12..0000000
--- a/trunk/verif/Spin/Test/hello
+++ /dev/null
@@ -1,3 +0,0 @@
-init {
-       printf("passed first test!\n")
-}