From 548664d423f4be6dedc1596274d9ac779b5eb67a Mon Sep 17 00:00:00 2001 From: uschindler Date: Sun, 14 Sep 2014 21:59:01 +0000 Subject: [PATCH] Issue #19: Improvements in checker --- build.xml | 12 +++++++----- 1 file changed, 7 insertions(+), 5 deletions(-) diff --git a/build.xml b/build.xml index 5b618d99..c8739fd8 100644 --- a/build.xml +++ b/build.xml @@ -388,8 +388,11 @@ - + + + @@ -411,8 +414,7 @@ - + @@ -462,8 +464,8 @@ - - + +