destroy destroyed
authoramwaterhouse <Andrew Waterhouse>
Mon, 2 Apr 2007 12:38:13 +0000 (12:38 +0000)
committeramwaterhouse <Andrew Waterhouse>
Mon, 2 Apr 2007 12:38:13 +0000 (12:38 +0000)
commitf35a68b13c21594f198a65f4ad14b2b52aa6d05b
tree7c8f3943bc3ea24f2b5da01f83e2a2dbf4a54ef1
parent3ec878b2c3ca0172e87edef123de746da9cb5bbf
destroy destroyed
src/jalview/gui/AlignFrame.java