git://source.jalview.org / jalview.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 5afdbcf 7a75c93)
Merge branch 'develop' into bug/JAL-1988_JAL-3772_improved_quit_handling
authorBen Soares <b.soares@dundee.ac.uk>
Thu, 29 Sep 2022 14:55:25 +0000 (15:55 +0100)
committerBen Soares <b.soares@dundee.ac.uk>
Thu, 29 Sep 2022 14:55:25 +0000 (15:55 +0100)

Trivial merge