Merge branch 'hardcode'
[jalview.git] / build.diff
2023-07-02 MorellThomasFixed build.gradle, provide diff