##// END OF EJS Templates
Remove Rename dialog from the DOM upon closing it.
Remove Rename dialog from the DOM upon closing it.
Brian Granger -
r5872:31038360
Show More
Name Size Modified Last Commit Author
/ IPython / frontend / html / notebook / static / prettify
COPYING Loading ...
prettify.css Loading ...
prettify.js Loading ...