menus renamed
authoramwaterhouse <Andrew Waterhouse>
Wed, 22 Nov 2006 17:39:29 +0000 (17:39 +0000)
committeramwaterhouse <Andrew Waterhouse>
Wed, 22 Nov 2006 17:39:29 +0000 (17:39 +0000)
commit9f801be1c14ea869cdee39b67acc85ee41bb23b5
treeea5666885ce8d9c7b31ca8b1c0c3f299fa66ffa1
parent7b3241c464d774516c4295a5023f4aef7939298e
menus renamed
src/jalview/jbgui/GTreePanel.java