##// END OF EJS Templates
Add drop_by_id method to shell, to remove variables added by extensions.
Add drop_by_id method to shell, to remove variables added by extensions.
Thomas Kluyver -
r5068:9d7799b8
Show More
Name Size Modified Last Commit Author
/ IPython / frontend / html / notebook / static / prettify
COPYING Loading ...
prettify.css Loading ...
prettify.js Loading ...