anatoly techtonik <techto...@gmail.com> added the comment: On Fri, Jul 23, 2010 at 10:24 PM, Alexander Belopolsky <rep...@bugs.python.org> wrote: > I suggest changing > > Use exit() or Ctrl-D (i.e. EOF) to exit > > to > > Type exit() or quit() and press the Enter key to exit
Type exit() or press Ctrl-D to exit. ---------- nosy: +techtonik _______________________________________ Python tracker <rep...@bugs.python.org> <http://bugs.python.org/issue9362> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
