Merge branch 'develop' into feature/JAL-4274_configurable_bitmap_export_preferences
[jalview.git] / utils / biotools /
2023-07-22 James ProcterJAL-4243 Jalview 2.11.2.7’s biotool record as JSON...