From 07a9577c99ed3e67748ac79666e6b02a3e8c5ffe Mon Sep 17 00:00:00 2001 From: Reinhard Pointner Date: Thu, 28 Aug 2014 18:52:58 +0000 Subject: [PATCH] * debug options --- build.xml | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/build.xml b/build.xml index e7d6e71c..b22f31a3 100644 --- a/build.xml +++ b/build.xml @@ -301,6 +301,11 @@