##// 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 / zmq / gui
__init__.py Loading ...
gtkembed.py Loading ...