From aafa26d7de3e68bf1b87d87671f94d498ade6286 Mon Sep 17 00:00:00 2001 From: cketti Date: Tue, 8 Jan 2013 09:28:46 +0100 Subject: [PATCH] Fix build.xml so Jenkins is happy again --- build.xml | 16 +++++++++++++++- 1 file changed, 15 insertions(+), 1 deletion(-) diff --git a/build.xml b/build.xml index 090204c14..0731c6677 100644 --- a/build.xml +++ b/build.xml @@ -303,7 +303,21 @@ - + + + + + + + + + + + + + +