##// END OF EJS Templates
Merge pull request #5965 from minrk/qt-shutdown...
Merge pull request #5965 from minrk/qt-shutdown don’t trigger call tips with no shell channel
Thomas Kluyver -
r16976:06b3624f merge
Show More
Name Size Modified Last Commit Author
/ examples / Customization
Index.ipynb Loading ...
appconfig.py Loading ...