inlcude progress
[jalview.git] / build.diff
2023-07-02 MorellThomasFixed build.gradle, provide diff