git://source.jalview.org / jalview.git / commit
| author | amwaterhouse <Andrew Waterhouse> | |
| Thu, 2 Jun 2005 11:05:08 +0000 (11:05 +0000) | ||
| committer | amwaterhouse <Andrew Waterhouse> | |
| Thu, 2 Jun 2005 11:05:08 +0000 (11:05 +0000) | ||
| commit | 4bcd01673107d078f20de80601f1f2cb0cf4ecd7 | |
| tree | 0e101644dfd002b2bb07d62b9cb155246edb4d41 | tree | snapshot |
| parent | f41bfcf8e262740cb7d31e88c96fe3efb95f270b | commit | diff |
| src/jalview/gui/Preferences.java | diff | blob | history |