destroy destroyed
authoramwaterhouse <Andrew Waterhouse>
Mon, 2 Apr 2007 12:29:21 +0000 (12:29 +0000)
committeramwaterhouse <Andrew Waterhouse>
Mon, 2 Apr 2007 12:29:21 +0000 (12:29 +0000)
commit3ec878b2c3ca0172e87edef123de746da9cb5bbf
treedcf746d9e0fbfef2c4cae1bdb9e5223e9a294100
parentf339dd235e03f98982014d926b807ae52bc825eb
destroy destroyed
src/jalview/gui/AlignFrame.java