commit | ef5cd05c3d68137a59a84acd418342532e3940c6 | [log] [tgz] |
---|---|---|
author | Jack Jansen <jack.jansen@cwi.nl> | Tue Sep 17 12:39:12 1996 +0000 |
committer | Jack Jansen <jack.jansen@cwi.nl> | Tue Sep 17 12:39:12 1996 +0000 |
tree | 544f8c9b00c6eae068d570ccd5f4025b6c242dd9 | |
parent | 4cb945454a91188823fd289a13e417bdd20050e2 [diff] |
Calling Application._quit() is now preferred over raising self.