##// END OF EJS Templates
The pretty.py extension has been ported to the new extension API....
The pretty.py extension has been ported to the new extension API. I have also cleaned up the extension API to enable extension unloading and have added magics for working with extensions: * %load_ext * %reload_ext * %unload_ext
Brian Granger -
r2281:21a097ae
Show More
Name Size Modified Last Commit Author
/ docs / source / development
coding_guide.txt Loading ...
contributing.txt Loading ...
doc_guide.txt Loading ...
index.txt Loading ...
notification_blueprint.txt Loading ...
release.txt Loading ...
reorg.txt Loading ...
roadmap.txt Loading ...
testing.txt Loading ...