git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 345e36b) | patch
JAL-3010 fix up bad merge from develop
authorJim Procter <jprocter@issues.jalview.org>
Wed, 19 Sep 2018 15:16:18 +0000 (16:16 +0100)
committerJim Procter <jprocter@issues.jalview.org>
Wed, 19 Sep 2018 15:16:18 +0000 (16:16 +0100)
commit58d01bd17f04745e37f69f947a41432fb9e3ec15
tree142c2d1059023cb80c2c00cb789de8d92c68c1d7tree | snapshot
parent345e36bca9ccb985a560aeaade58a41b09b69baccommit | diff
JAL-3010 fix up bad merge from develop
src/jalview/gui/FeatureTypeSettings.java diff | blob | history