From a7ffda422b41aff1da60d7566fb6b84b68ffae1d Mon Sep 17 00:00:00 2001 From: Lars Jung Date: Thu, 12 Jul 2012 13:25:16 +0200 Subject: [PATCH] Minor changes in build.xml. --- build.xml | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/build.xml b/build.xml index 605ed551..68c8127c 100644 --- a/build.xml +++ b/build.xml @@ -56,10 +56,11 @@ - + - + +