##// END OF EJS Templates
Merge pull request #7456 from minrk/change-not-dead...
Merge pull request #7456 from minrk/change-not-dead Don't show kernel-dead on manually shutdown kernel

File last commit:

r11009:e16cf2f8
r19973:af6b856a merge
Show More
__init__.py
0 lines | 0 B | text/x-python | PythonLexer