git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6e21be7) | patch
Label changes
authoramwaterhouse <Andrew Waterhouse>
Tue, 1 Nov 2005 15:35:39 +0000 (15:35 +0000)
committeramwaterhouse <Andrew Waterhouse>
Tue, 1 Nov 2005 15:35:39 +0000 (15:35 +0000)
commit9c7f95a88517db15d88be3287addaf884e764d16
tree63ff51cc209aac727b6ca2c5bf4519d57ebc3e6ftree | snapshot
parent6e21be7d86ab4ac3936e1e7691b31ebcf9080cdfcommit | diff
Label changes
src/jalview/jbgui/GPreferences.java diff | blob | history