git://source.jalview.org / jalview.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 09976d9 7884cb1)
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)
1  2 
src/jalview/gui/Preferences.java patch | diff1 | diff2 | blob | history

diff --cc src/jalview/gui/Preferences.java
Simple merge