From 39a9a5a8978f2fbc2cd4a4e1a6cc974b3b19a40a Mon Sep 17 00:00:00 2001 From: Reinhard Pointner Date: Thu, 21 Jun 2018 18:42:30 +0700 Subject: [PATCH] Fix compatibility issues of different JREs on different platforms (excluding just the executables doesn't save much space anyway and makes things fragile) --- build.xml | 19 +++++-------------- 1 file changed, 5 insertions(+), 14 deletions(-) diff --git a/build.xml b/build.xml index c7e93011..35dcef4e 100644 --- a/build.xml +++ b/build.xml @@ -74,23 +74,14 @@ - - - - - - - - - - - + + - - - + + +