Merge branch 'Jalview-BH/JAL-3026' of https://source.jalview.org/git/jalview.git...
authorhansonr <hansonr@Geoff_Surface>
Thu, 5 Jul 2018 08:38:35 +0000 (09:38 +0100)
committerhansonr <hansonr@Geoff_Surface>
Thu, 5 Jul 2018 08:38:35 +0000 (09:38 +0100)
commit468328551c99e1bb06a6eccd8e564885fc251ac6
tree2c6590aaa85013e4f177f872723fb830e11a91e8
parentf7124dc8d666e958ad9925e846e5f46932838bf8
parent217274a8e9ea2ae20d5a6d21989b8b16840ca6f0
Merge branch 'Jalview-BH/JAL-3026' of https://source.jalview.org/git/jalview.git into Jalview-BH/JAL-3026
src/jalview/gui/Preferences.java