##// END OF EJS Templates
Removing unneeded select prev/next from Edit menu.
Removing unneeded select prev/next from Edit menu.
Brian E. Granger -
r14868:2871d2c1
Show More
Name Size Modified Last Commit Author
/ IPython / html / static / notebook / css
override.css Loading ...