##// END OF EJS Templates
Merge pull request #4517 from minrk/shutdown-console...
Merge pull request #4517 from minrk/shutdown-console send shutdown_request on exit of `ipython console`
Thomas Kluyver -
r13610:f0efabf5 merge
Show More