Change font
authoramwaterhouse <Andrew Waterhouse>
Wed, 28 Sep 2005 14:55:06 +0000 (14:55 +0000)
committeramwaterhouse <Andrew Waterhouse>
Wed, 28 Sep 2005 14:55:06 +0000 (14:55 +0000)
commit2138c891af49b66c1f5b59de14439c6ea1ba5a24
tree9686942808df47ef8406b292d195b53ec2764567
parentb59ef548eac5f8c33b5b91a8925a389d0de3b9b9
Change font
src/jalview/jbappletgui/GTreePanel.java