From 391daddeb15d9101d04c68bd5e9c99510b61181e Mon Sep 17 00:00:00 2001 From: Uwe Schindler Date: Sat, 20 Apr 2019 01:55:23 +0200 Subject: [PATCH] Update JGit for working copy checks and explicitely set nop-logging --- build.xml | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/build.xml b/build.xml index c45f7ce1217..fb6ed3b356a 100755 --- a/build.xml +++ b/build.xml @@ -20,7 +20,7 @@ - + @@ -485,9 +485,10 @@ File | Project Structure | Platform Settings | SDKs): - + + + +