##// 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
/ setupext
__init__.py Loading ...
install_data_ext.py Loading ...