##// END OF EJS Templates
don't display profile in banner if default
don't display profile in banner if default
MinRK -
r4041:2b56c84c
Show More
Name Size Modified Last Commit Author
/ IPython / external / ssh
__init__.py Loading ...
forward.py Loading ...
tunnel.py Loading ...