version and last modified added
authoramwaterhouse <Andrew Waterhouse>
Thu, 17 Mar 2005 15:08:48 +0000 (15:08 +0000)
committeramwaterhouse <Andrew Waterhouse>
Thu, 17 Mar 2005 15:08:48 +0000 (15:08 +0000)
commitae1766b72c2d4a32f513af1a37c53bd44b0c3c29
treea62dae76241b8012de96181c1210d770d5c22822
parent39999407e5700d94a4cdf792115ce9b85a1cdf87
version and last modified added
src/jalview/gui/Desktop.java
src/jalview/gui/SplashScreen.java