git://source.jalview.org / jalview.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6bd69f1) | patch
Quit actionPerformed
authoramwaterhouse <Andrew Waterhouse>
Mon, 13 Jun 2005 11:30:00 +0000 (11:30 +0000)
committeramwaterhouse <Andrew Waterhouse>
Mon, 13 Jun 2005 11:30:00 +0000 (11:30 +0000)
commit4d836c5737ca33a967f2c398adac0c24d692efdd
tree3a7eaa02dbf079691665a0cd556968d19558a022tree | snapshot
parent6bd69f196a5bdb8bdbc329166485d5da60b27389commit | diff
Quit actionPerformed
src/jalview/jbgui/GDesktop.java diff | blob | history