author | amwaterhouse <Andrew Waterhouse> | |
Mon, 20 Nov 2006 18:10:42 +0000 (18:10 +0000) | ||
committer | amwaterhouse <Andrew Waterhouse> | |
Mon, 20 Nov 2006 18:10:42 +0000 (18:10 +0000) | ||
commit | 99bd0585b045d25fa719ee007e3310d27e53ac88 | |
tree | 99599d061a99030e0a22b98de18e1883a1a34526 | tree | snapshot |
parent | 41238b03f514480a593c586c1c9539727b535cda | commit | diff |
src/jalview/gui/Preferences.java | diff | blob | history | |
src/jalview/jbgui/GPreferences.java | diff | blob | history |