##// 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 / auth / js
loginmain.js Loading ...
loginwidget.js Loading ...
logoutmain.js Loading ...