##// 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 / external
decorators
__init__.py Loading ...
mathjax.py Loading ...
qt_for_kernel.py Loading ...
qt_loaders.py Loading ...