From: Ben Soares Date: Wed, 20 Nov 2019 16:10:15 +0000 (+0000) Subject: Merge branch 'Jalview-JS/develop' into merge/Ben_trying_out_JSdevelop_with_develop X-Git-Url: http://source.jalview.org/gitweb/?p=jalview.git;a=commitdiff_plain;h=refs%2Fheads%2Fmerge%2FBen_trying_out_JSdevelop_with_develop;hp=-c Merge branch 'Jalview-JS/develop' into merge/Ben_trying_out_JSdevelop_with_develop attempt to get the very refactored/improved build.gradle and gradle.properties from Jalview-JS/develop back to develop --- e95c5f895775891d55d9f23d5da64f8ce6bd07bb