Merge branch 'Jalview-JS/develop' into merge_js_develop
[jalview.git] / utils / gradle-nox.sh
2020-05-12 Ben SoaresJAL-3541 Helpers for running tests, and other commands...