don't system.ext
authoramwaterhouse <Andrew Waterhouse>
Tue, 25 Jan 2005 17:07:13 +0000 (17:07 +0000)
committeramwaterhouse <Andrew Waterhouse>
Tue, 25 Jan 2005 17:07:13 +0000 (17:07 +0000)
commite83f899e879e04af8f9baa9a495e2918a67f6a4f
tree588436e67c6f321c275aa8aeace70e4719c27d1c
parentf509c8fc7c3e5e87038c7856f1761e60601fe1e6
don't system.ext
src/jalview/gui/Desktop.java