git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a67402c) | patch
Reset browser every time
authoramwaterhouse <Andrew Waterhouse>
Fri, 19 Aug 2005 08:56:34 +0000 (08:56 +0000)
committeramwaterhouse <Andrew Waterhouse>
Fri, 19 Aug 2005 08:56:34 +0000 (08:56 +0000)
commit1402060fb2ca7b2639ef98da3e22766d01149b16
tree51cff9cefb615c0bc6d5dde89eb618bf3e0f508btree | snapshot
parenta67402c4b5b2bc1c97d2624af72c941dec51ea40commit | diff
Reset browser every time
src/jalview/gui/Preferences.java diff | blob | history