From 5e82288d12b0ba07d18254209521a2db0410cb10 Mon Sep 17 00:00:00 2001 From: Jochen Topf Date: Sat, 15 Mar 2014 16:06:25 +0100 Subject: [PATCH] Fix ant build script. Apparently the old version failed with older ants or older Java versions. --- build.xml | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/build.xml b/build.xml index c1563d7..d25bbd7 100644 --- a/build.xml +++ b/build.xml @@ -22,10 +22,8 @@ - - - - + +