##// END OF EJS Templates
don’t trigger call tips with no shell channel...
don’t trigger call tips with no shell channel can raise RuntimeError during shutdown
MinRK -
r16969:2223e7ff
Show More
Name Size Modified Last Commit Author
/ IPython / html / static / services / kernels
js