| commit | 4d94d31b6d83ff2520fd495c3208fe6989b90060 | [log] [tgz] |
|---|---|---|
| author | Georg Brandl <georg@python.org> | Fri Sep 18 07:22:41 2009 +0000 |
| committer | Georg Brandl <georg@python.org> | Fri Sep 18 07:22:41 2009 +0000 |
| tree | 3663dd3925afafa7a807a684f2674b5a20551c9f | |
| parent | 4fe03350b59b34935e9920f6670d8b4a156127eb [diff] |
#6936: for interactive use, quit() is just fine.