JAL-3225 try/catch for non-deprecated/deprecated property in sourceDist which is...
authorBen Soares <bsoares@dundee.ac.uk>
Thu, 4 Jul 2019 13:43:47 +0000 (14:43 +0100)
committerBen Soares <bsoares@dundee.ac.uk>
Thu, 4 Jul 2019 13:43:47 +0000 (14:43 +0100)
commitf877093c5722f61157bc42af839a96e5f35f1050
tree4175c533a9c1420d371344d2f0ec7193f1361363
parentf0dfe10695b42e98e4d7b6801786107c478d5111
JAL-3225 try/catch for non-deprecated/deprecated property in sourceDist which is not available on older eclipses
build.gradle