From e06e9393c17df40a68ae6fa798c3fef90b804b7a Mon Sep 17 00:00:00 2001 From: Christian Date: Thu, 2 Aug 2012 10:33:29 -0230 Subject: [PATCH] More build fixes for jenkins --- build.xml | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/build.xml b/build.xml index 2c4ad69528..1bce8c4dd7 100644 --- a/build.xml +++ b/build.xml @@ -90,7 +90,7 @@ - + @@ -136,13 +136,13 @@ - + - + @@ -207,7 +207,7 @@ - +