author | amwaterhouse <Andrew Waterhouse> | |
Tue, 9 Aug 2005 16:53:16 +0000 (16:53 +0000) | ||
committer | amwaterhouse <Andrew Waterhouse> | |
Tue, 9 Aug 2005 16:53:16 +0000 (16:53 +0000) | ||
commit | 97c00be1121a6758439b73ded035c4edbacfa2bc | |
tree | d1b938f420fbf7defe3d807737ae010e90eeac60 | tree | snapshot |
parent | 71a0d926b2dac39360d891f18271ae2100835166 | commit | diff |
src/jalview/gui/Preferences.java | diff | blob | history | |
src/jalview/jbgui/GPreferences.java | diff | blob | history |