Merge remote-tracking branch 'origin/develop' into feature/JAL-2587
authorkiramt <k.mourao@dundee.ac.uk>
Fri, 4 Aug 2017 13:29:58 +0000 (14:29 +0100)
committerkiramt <k.mourao@dundee.ac.uk>
Fri, 4 Aug 2017 13:29:58 +0000 (14:29 +0100)
commit3ac458b483413a84f3a3fe477d4d5990dd0c3a4c
treee0a7b327cdbb0792b6426d41424424bceea0f7c7
parent8ca8e3e3539ccd958a0dfb90b1ed8bac218e57b1
parent3e405b886d52bde0205ea814962fe6cc80f59106
Merge remote-tracking branch 'origin/develop' into feature/JAL-2587
src/jalview/gui/OverviewPanel.java