##// END OF EJS Templates
deprecate default_gui_banner...
deprecate default_gui_banner instead of removing it outright, which breaks things unnecessarily

File last commit:

r2045:2b04bcfb
r22104:164d1459
Show More
shadowns.py
1 line | 24 B | text/x-python | PythonLexer
""" Shadow namespace """