##// END OF EJS Templates
convert back to short names when writing to JSON
convert back to short names when writing to JSON

File last commit:

r14009:6f019b30
r14123:7f2667c1
Show More
__main__.py
3 lines | 105 B | text/x-python | PythonLexer
if __name__ == '__main__':
from IPython.html import notebookapp as app
app.launch_new_instance()