Merge branch 'develop' into Jalview-JS/develop
authorgmungoc <g.m.carstairs@dundee.ac.uk>
Fri, 15 Mar 2019 14:18:19 +0000 (14:18 +0000)
committergmungoc <g.m.carstairs@dundee.ac.uk>
Fri, 15 Mar 2019 14:18:19 +0000 (14:18 +0000)
commit52835208007a37595aa07b40981a8609bad957e0
tree10ddd87e7eaa671270c90fe34e9b1b922e2f7a7e
parent09976d9f77b1a3a6486735b0fd9caeb158f1834f
parent7884cb147555318c252b6d7085c1a85141447ee8
Merge branch 'develop' into Jalview-JS/develop
src/jalview/gui/Preferences.java