git://source.jalview.org / jalview.git / commit
| author | amwaterhouse <Andrew Waterhouse> | |
| Mon, 5 Dec 2005 16:30:50 +0000 (16:30 +0000) | ||
| committer | amwaterhouse <Andrew Waterhouse> | |
| Mon, 5 Dec 2005 16:30:50 +0000 (16:30 +0000) | ||
| commit | e21fb8306a9efaf170d7354daa10e7ee42d37c17 | |
| tree | b4343430e73481c65c828993ae2cb13cc45c8a73 | tree | snapshot |
| parent | 0c4546410c1158612118f9406b98f4fe4c33cfc9 | commit | diff |
| src/jalview/gui/Preferences.java | diff | blob | history | |
| src/jalview/jbgui/GPreferences.java | diff | blob | history |