git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8bce732) | patch
setDesktopManager(new)
authoramwaterhouse <Andrew Waterhouse>
Wed, 6 Apr 2005 17:12:58 +0000 (17:12 +0000)
committeramwaterhouse <Andrew Waterhouse>
Wed, 6 Apr 2005 17:12:58 +0000 (17:12 +0000)
commitc1fad33365988bdf8e335982df0c3ff84dd0bb8b
treea00346f70d9d060eec2de92cdec723d88b8a258atree | snapshot
parent8bce732732fcf8d96f03ff8a916ec2896ff1a4ffcommit | diff
setDesktopManager(new)
src/jalview/gui/Desktop.java diff | blob | history