Merge branch 'develop' into tasks/JAL-3311_removeVamsasMenu
authorJim Procter <jprocter@issues.jalview.org>
Tue, 2 Jul 2019 19:47:52 +0000 (20:47 +0100)
committerJim Procter <jprocter@issues.jalview.org>
Tue, 2 Jul 2019 19:47:52 +0000 (20:47 +0100)
commit6f812eb434553c97cccaaaefa35da54afc72bb79
tree4174d7add4b1585f2d0245c2ddf85bc44ab72e1f
parent88153d5bb04acd2b8e7fbc3e6789622b77b6cf58
parent0563c3cb3209568f7fde6badd53d73a907372ecb
Merge branch 'develop' into tasks/JAL-3311_removeVamsasMenu
help/help/help.jhm
help/help/helpTOC.xml
src/jalview/bin/Jalview.java