##// END OF EJS Templates
Simplify KernelManager.cleanup()
Simplify KernelManager.cleanup()
Thomas Kluyver -
r16515:48a8c379
Show More