Merge branch 'develop' into features/mchmmer
authorgmungoc <g.m.carstairs@dundee.ac.uk>
Mon, 28 May 2018 08:56:14 +0000 (09:56 +0100)
committergmungoc <g.m.carstairs@dundee.ac.uk>
Mon, 28 May 2018 08:56:14 +0000 (09:56 +0100)
Conflicts:
src/jalview/bin/Jalview.java

1  2 
help/help.jhm
resources/lang/Messages.properties
resources/lang/Messages_es.properties
src/jalview/bin/Jalview.java
src/jalview/gui/AlignFrame.java
src/jalview/gui/Desktop.java
src/jalview/io/AlignFile.java
src/jalview/jbgui/GPreferences.java

diff --cc help/help.jhm
Simple merge
Simple merge
Simple merge
Simple merge
Simple merge
Simple merge
Simple merge
Simple merge