From 77dd438e54e856e793a503d1e3e2c126239f4588 Mon Sep 17 00:00:00 2001 From: Andreas Schempp Date: Mon, 3 Dec 2018 13:21:21 +0100 Subject: [PATCH] Fixed production build configuration --- build.xml.dist | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/build.xml.dist b/build.xml.dist index ced75e0c..70e7c223 100644 --- a/build.xml.dist +++ b/build.xml.dist @@ -70,7 +70,7 @@ - + @@ -100,7 +100,6 @@ - @@ -133,7 +132,7 @@ - +