##// END OF EJS Templates
Use session.delete rather than kernel.kill
Use session.delete rather than kernel.kill

File last commit:

r13195:ee7d313e
r18219:0b779fd0
Show More
__init__.py
2 lines | 43 B | text/x-python | PythonLexer
MinRK
add Kernel-side widgets
r13188 from .manager import *
MinRK
rename widget to comm
r13195 from .comm import *