amendFeatures
authoramwaterhouse <Andrew Waterhouse>
Fri, 27 Apr 2007 14:42:59 +0000 (14:42 +0000)
committeramwaterhouse <Andrew Waterhouse>
Fri, 27 Apr 2007 14:42:59 +0000 (14:42 +0000)
commit7df31f7adfb90c213c084b5c1ad1cd0d27ea2270
treeab70b534f307966929a4de239045202aa1246c1f
parent5d7076a20cc19e2287ca48a4715a3757ec00bd0e
amendFeatures
src/jalview/appletgui/Finder.java