##// END OF EJS Templates
Changing Ctrl-Shift order in redo shortcut.
Changing Ctrl-Shift order in redo shortcut.
damianavila -
r13708:b1e321f5
Show More
Name Size Modified Last Commit Author
/ IPython / html / static / notebook
css
js
less