From 4712fcb7095439f4c21a9d946dcb0c33b0284edc Mon Sep 17 00:00:00 2001 From: "Christian P. MOMON" Date: Wed, 26 Jun 2013 17:07:27 +0200 Subject: [PATCH] Fix chmod bug on rundemo. --- build.xml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/build.xml b/build.xml index 9c393cb..955d21b 100644 --- a/build.xml +++ b/build.xml @@ -1,5 +1,5 @@ - + @@ -35,7 +35,7 @@ - + @@ -44,6 +44,6 @@ - + \ No newline at end of file