closes if accepted
authoramwaterhouse <Andrew Waterhouse>
Mon, 6 Jun 2005 10:00:32 +0000 (10:00 +0000)
committeramwaterhouse <Andrew Waterhouse>
Mon, 6 Jun 2005 10:00:32 +0000 (10:00 +0000)
commitfc798f10d356073d76d180342d232c31597a3b4f
tree306abb30b02ab9dafcd748dc997a566715a35714
parent82e0c09533b4f568b50fdc290be58589cea3ebb6
closes if accepted
src/jalview/gui/CutAndPasteTransfer.java
src/jalview/jbgui/GCutAndPasteTransfer.java