author | amwaterhouse <Andrew Waterhouse> | |
Thu, 1 Sep 2005 13:20:12 +0000 (13:20 +0000) | ||
committer | amwaterhouse <Andrew Waterhouse> | |
Thu, 1 Sep 2005 13:20:12 +0000 (13:20 +0000) | ||
commit | 65310fba3ddf0942d5f868130bca9e093888ce7a | |
tree | a5f1d7accc30da5a1bae71c7039f94baca9564c4 | tree | snapshot |
parent | c1d5d99668a2f897923f36234c8d86d14cf4f818 | commit | diff |
src/jalview/gui/Preferences.java | diff | blob | history | |
src/jalview/jbgui/GPreferences.java | diff | blob | history |