git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 38086bb) | patch
If browser not set, remove property
authoramwaterhouse <Andrew Waterhouse>
Fri, 19 Aug 2005 08:49:52 +0000 (08:49 +0000)
committeramwaterhouse <Andrew Waterhouse>
Fri, 19 Aug 2005 08:49:52 +0000 (08:49 +0000)
commit3a32d58fe4dcca10fbc74e2c651d13a13c96331a
tree11fb288622c64d1296b32616b2bbdcc92102615atree | snapshot
parent38086bb11e3db63ddea8a9805f813d21668d7e8fcommit | diff
If browser not set, remove property
src/jalview/gui/Preferences.java diff | blob | history