From: Jim Procter Date: Tue, 25 Oct 2016 08:30:43 +0000 (+0100) Subject: Merge branch 'sourcepub' into develop X-Git-Tag: Release_2_10_1^2~27 X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=d90a60294f7abde5ce07795d26f9dc3d432de474;hp=a795500981c1c89316d9986593d9a69f9a77dcd7;p=jalview.git Merge branch 'sourcepub' into develop --- diff --git a/build.xml b/build.xml index 7235950..1d4878b 100755 --- a/build.xml +++ b/build.xml @@ -736,18 +736,16 @@ + - - - + - - - +