Readjustments
authoramwaterhouse <Andrew Waterhouse>
Mon, 5 Dec 2005 13:39:17 +0000 (13:39 +0000)
committeramwaterhouse <Andrew Waterhouse>
Mon, 5 Dec 2005 13:39:17 +0000 (13:39 +0000)
commita358ceab461b61acbfd9f38dc595bea2e24e398f
tree63243dd9a55fab2afc677b66b89ec6482de904ee
parent6efabb12ac7f2ed3bb6bb9e47505cf0112784837
Readjustments
src/jalview/jbgui/GPreferences.java