-
Committer:
Fernando Perez
-
Date:
2010-01-01 04:32:18 UTC
-
Revision ID:
fernando.perez@berkeley.edu-20100101043218-gu66enynlfskqmza
Fix quitting: now, typing bare 'exit' or 'quit' unconditionally quits.
We still ask for confirmation by default with C-d (EOF), since that can
happen accidentally quite easily (though users can always disble that safety
if desired).