Merge branch 'develop' into merge/develop_ben2
[jalview.git] / utils / create_iconfiles.sh
2020-12-04 Ben SoaresJAL-3594 Added rotating logo png
2020-12-03 Ben SoaresJAL-3594 New way for build.gradle to override propertie...