White space change
authoramwaterhouse <Andrew Waterhouse>
Thu, 4 Nov 2004 17:56:21 +0000 (17:56 +0000)
committeramwaterhouse <Andrew Waterhouse>
Thu, 4 Nov 2004 17:56:21 +0000 (17:56 +0000)
commitc2360e4d9ef41d70224aaed912a31f9606deb411
treee57d0a4d39eb2e4056cf67aefcc9a9b327b5c984
parent0365a951ffb7cdab64e2f0872b4b719c910527ad
White space change
src/jalview/gui/Desktop.java