git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 57d0cd0) | patch
selection area search bugs fixed
authoramwaterhouse <Andrew Waterhouse>
Wed, 16 Mar 2005 14:51:41 +0000 (14:51 +0000)
committeramwaterhouse <Andrew Waterhouse>
Wed, 16 Mar 2005 14:51:41 +0000 (14:51 +0000)
commit7b53427e0e375aeb5146867c3022c712f637959b
tree119f6edd9639d28a3bdef3a1561c4cc8f606c62dtree | snapshot
parent57d0cd0e8113c70b59737c7bd8ed57c50b7cbd5dcommit | diff
selection area search bugs fixed
src/jalview/gui/Finder.java diff | blob | history