New FEature replaces new group
authoramwaterhouse <Andrew Waterhouse>
Wed, 15 Feb 2006 15:22:07 +0000 (15:22 +0000)
committeramwaterhouse <Andrew Waterhouse>
Wed, 15 Feb 2006 15:22:07 +0000 (15:22 +0000)
commit2aadcc39283c979394f9f79a862d293d960a0335
treedada503bee060c84e8d93e3c9d7f1831631e5d45
parent9b2d0f1f47d3a073c91f354775bea6a274812709
New FEature replaces new group
src/jalview/jbgui/GFinder.java