git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b85e62a) | patch
identity changed
authoramwaterhouse <Andrew Waterhouse>
Fri, 27 May 2005 14:17:23 +0000 (14:17 +0000)
committeramwaterhouse <Andrew Waterhouse>
Fri, 27 May 2005 14:17:23 +0000 (14:17 +0000)
commitb362e9af0d2183b719ec4c994b801ba1f49e4474
tree219f029159908f5751373010d49a3e98132bd088tree | snapshot
parentb85e62a5db79bb15295edbcd85c042b9bf8e6f23commit | diff
identity changed
src/jalview/jbgui/GPreferences.java diff | blob | history