diff --git a/trunk/paradiseo-mo/stamp-h1 b/trunk/paradiseo-mo/stamp-h1
deleted file mode 100755
index 4547fe1b5..000000000
--- a/trunk/paradiseo-mo/stamp-h1
+++ /dev/null
@@ -1 +0,0 @@
-timestamp for config.h