git://source.jalview.org / jalview.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 7e441a4 0a25365)
Merge branch 'develop' into imp/JAL-2775 imp/JAL-2775
authorkiramt <k.mourao@dundee.ac.uk>
Wed, 1 Nov 2017 11:21:47 +0000 (11:21 +0000)
committerkiramt <k.mourao@dundee.ac.uk>
Wed, 1 Nov 2017 11:21:47 +0000 (11:21 +0000)
1  2 
src/jalview/gui/OverviewPanel.java patch | diff1 | diff2 | blob | history

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