git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 83740b0) | patch
patch for JAL-740
authorjprocter <Jim Procter>
Mon, 10 Jan 2011 17:00:30 +0000 (17:00 +0000)
committerjprocter <Jim Procter>
Mon, 10 Jan 2011 17:00:30 +0000 (17:00 +0000)
commitfffc975467c9b91cdf526ba8e06fdeab840ffc7f
tree17709716ea0c49feb187a9ed62733942f27ec90atree | snapshot
parent83740b06cee94cd622be9867ba659a97f6614af7commit | diff
patch for JAL-740
src/jalview/gui/Finder.java diff | blob | history