##// 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 / sphinxext
__init__.py Loading ...
custom_doctests.py Loading ...
ipython_console_highlighting.py Loading ...
ipython_directive.py Loading ...