smaller splashscreen
authoramwaterhouse <Andrew Waterhouse>
Wed, 16 Mar 2005 14:52:21 +0000 (14:52 +0000)
committeramwaterhouse <Andrew Waterhouse>
Wed, 16 Mar 2005 14:52:21 +0000 (14:52 +0000)
commit1303e926afe9f3beeae52f1cc8ca854b68cc53b7
tree17f98ec5a95e5dfb2e86f4ec6520872a73a4e829
parent0519b6ad1c83e546640ce2b29db51a326503811f
smaller splashscreen
src/jalview/gui/SplashScreen.java