move everything out of trunk

[lttv.git] / trunk / verif / spin516.tar.gz

diff --git a/trunk/verif/spin516.tar.gz b/trunk/verif/spin516.tar.gz
deleted file mode 100644 (file)
index 2843959..0000000
Binary files a/trunk/verif/spin516.tar.gz and /dev/null differ