[docs] [issue9362] Make exit/quit hint more novice friendly

anatoly techtonik techtonik at gmail.com
Mon Jul 26 15:48:48 CEST 2010

On Fri, Jul 23, 2010 at 10:24 PM, Alexander Belopolsky
<report at 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.

More information about the docs mailing list