Warning no longer red
authoramwaterhouse <Andrew Waterhouse>
Tue, 23 Aug 2005 16:07:49 +0000 (16:07 +0000)
committeramwaterhouse <Andrew Waterhouse>
Tue, 23 Aug 2005 16:07:49 +0000 (16:07 +0000)
commitf2d10e204281911d5da924b7aa4cdb93102a4e24
tree5cb0e410518b8fe9f1ae2dad7c026d7dcd890e1d
parent125a33430b29fd5885e87777f8b03d9d0d156c80
Warning no longer red
src/jalview/gui/SplashScreen.java