##// END OF EJS Templates
Merge pull request #9298 from vincentwoo/terminal-width...
Merge pull request #9298 from vincentwoo/terminal-width Use terminal width to determine header length
Min RK -
r22156:a9076ce5 merge
Show More
Name Size Modified Last Commit Author
/ IPython / kernel
__init__.py Loading ...
__main__.py Loading ...
adapter.py Loading ...
channels.py Loading ...
channelsabc.py Loading ...
client.py Loading ...
clientabc.py Loading ...
connect.py Loading ...
kernelspec.py Loading ...
kernelspecapp.py Loading ...
launcher.py Loading ...
manager.py Loading ...
managerabc.py Loading ...
multikernelmanager.py Loading ...
restarter.py Loading ...
threaded.py Loading ...