author | amwaterhouse <Andrew Waterhouse> | |
Mon, 30 Jan 2006 14:57:06 +0000 (14:57 +0000) | ||
committer | amwaterhouse <Andrew Waterhouse> | |
Mon, 30 Jan 2006 14:57:06 +0000 (14:57 +0000) | ||
commit | 6a6b52d211b002b444365f542956b0321128cc2d | |
tree | dced767ece90c53343ef8a8dbc36d25cc1795b1c | tree | snapshot |
parent | c24071f7b9e6b70c94743214677871ae2dc88499 | commit | diff |
src/jalview/gui/Preferences.java | diff | blob | history |