##// 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 / extensions
tests
__init__.py Loading ...
autoreload.py Loading ...
cythonmagic.py Loading ...
rmagic.py Loading ...
storemagic.py Loading ...
sympyprinting.py Loading ...