author | amwaterhouse <Andrew Waterhouse> | |
Fri, 20 May 2005 13:30:06 +0000 (13:30 +0000) | ||
committer | amwaterhouse <Andrew Waterhouse> | |
Fri, 20 May 2005 13:30:06 +0000 (13:30 +0000) | ||
commit | 67fe33692d163752fd467468b18ace4a9b4eac7d | |
tree | ec57c6b7bb14cab08827dc9962c9d199ccf39a4c | tree | snapshot |
parent | b92b967816da8ca0252b221589988f9c2d83ca46 | commit | diff |
src/jalview/gui/Preferences.java | diff | blob | history | |
src/jalview/jbgui/GPreferences.java | diff | blob | history |