##// END OF EJS Templates
* Change input mechanism: replace raw_input instead of stdin....
* Change input mechanism: replace raw_input instead of stdin. * Made 'kernel' a public attribute of KernelManager.
epatters -
r2730:18dcf1de
Show More