Merge branch 'develop' into bug/JAL-4421_customise_volume_name_of_DMG_installers
authorBen Soares <b.soares@dundee.ac.uk>
Wed, 5 Jun 2024 14:03:52 +0000 (15:03 +0100)
committerBen Soares <b.soares@dundee.ac.uk>
Wed, 5 Jun 2024 14:03:52 +0000 (15:03 +0100)
commit965c8af33ac58a3b5b940e52f04a7bfc16d83e98
treeac8ea3f50213bd2449eed4ce3a8f9a63e3d8c1fb
parentf5a1843eb07107c5e196fe348d75e785c11562d6
parenta604feb0d8241649ead385602bd03e092809b945
Merge branch 'develop' into bug/JAL-4421_customise_volume_name_of_DMG_installers
src/jalview/gui/CutAndPasteTransfer.java
src/jalview/gui/Desktop.java
src/jalview/project/Jalview2XML.java