change of label text
authoramwaterhouse <Andrew Waterhouse>
Thu, 10 Feb 2005 17:59:50 +0000 (17:59 +0000)
committeramwaterhouse <Andrew Waterhouse>
Thu, 10 Feb 2005 17:59:50 +0000 (17:59 +0000)
commita291866e1f09688953bd4eb49a0ab1c9d325d8d6
tree7df7f1948974851d69c002e7c0aef8595c45599d
parentc3c4dc54c7f7667de14e1dc797190a8e5b5699ae
change of label text
src/jalview/jbgui/GAlignFrame.java