diff --git a/trunk/paradiseo-mo/stamp-h.in b/trunk/paradiseo-mo/stamp-h.in deleted file mode 100755 index 9788f7023..000000000 --- a/trunk/paradiseo-mo/stamp-h.in +++ /dev/null @@ -1 +0,0 @@ -timestamp