##// END OF EJS Templates
deprecate default_gui_banner...
deprecate default_gui_banner instead of removing it outright, which breaks things unnecessarily
Min RK -
r22104:164d1459
Show More
Name Size Modified Last Commit Author
/ IPython / kernel
__init__.py Loading ...
__main__.py Loading ...
adapter.py Loading ...
channels.py Loading ...
channelsabc.py Loading ...
client.py Loading ...
clientabc.py Loading ...
connect.py Loading ...
kernelspec.py Loading ...
kernelspecapp.py Loading ...
launcher.py Loading ...
manager.py Loading ...
managerabc.py Loading ...
multikernelmanager.py Loading ...
restarter.py Loading ...
threaded.py Loading ...