Remove unneccessary separator
authoramwaterhouse <Andrew Waterhouse>
Tue, 10 Oct 2006 11:19:08 +0000 (11:19 +0000)
committeramwaterhouse <Andrew Waterhouse>
Tue, 10 Oct 2006 11:19:08 +0000 (11:19 +0000)
commitc6c0cf26a5b8a7a52a5262d3887a8df79b66a687
tree3d8c90bcec4f8fc3056a96724fdc932ffbc40955
parent9ca1d7a3776d77e402c3899184ae041d56f72ca6
Remove unneccessary separator
src/jalview/jbgui/GDesktop.java