move everything out of trunk

[lttv.git] / trunk / verif / nico / model.spin

diff --git a/trunk/verif/nico/model.spin b/trunk/verif/nico/model.spin
deleted file mode 120000 (symlink)
index b0ba370..0000000
--- a/trunk/verif/nico/model.spin
+++ /dev/null
@@ -1 +0,0 @@
-models/model_03.spin
\ No newline at end of file