git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 71a0d92) | patch
Proxy server, default browser, multiple links added
authoramwaterhouse <Andrew Waterhouse>
Tue, 9 Aug 2005 16:53:16 +0000 (16:53 +0000)
committeramwaterhouse <Andrew Waterhouse>
Tue, 9 Aug 2005 16:53:16 +0000 (16:53 +0000)
commit97c00be1121a6758439b73ded035c4edbacfa2bc
treed1b938f420fbf7defe3d807737ae010e90eeac60tree | snapshot
parent71a0d926b2dac39360d891f18271ae2100835166commit | diff
Proxy server, default browser, multiple links added
src/jalview/gui/Preferences.java diff | blob | history
src/jalview/jbgui/GPreferences.java diff | blob | history