Merge branch 'develop' into bug/JAL-1988_JAL-3772_improved_quit_handling
authorBen Soares <b.soares@dundee.ac.uk>
Thu, 27 Oct 2022 15:20:14 +0000 (16:20 +0100)
committerBen Soares <b.soares@dundee.ac.uk>
Thu, 27 Oct 2022 15:20:14 +0000 (16:20 +0100)
commitdc3a780cb6d3fbf782b53f5eac3d4d6318121519
treeba28981edf44408b0bdcfea1ecf684b1da9a2f4f
parentd9472f0a6405ed1666e64a500812b73ffbbd3b77
parent04c8f7bff663aa469127e9eed4164e02933782f1
Merge branch 'develop' into bug/JAL-1988_JAL-3772_improved_quit_handling
src/jalview/bin/Jalview.java