##// END OF EJS Templates
Make Yes the default for git-mrb, fits regular workflow much better.
Make Yes the default for git-mrb, fits regular workflow much better.
Fernando Perez -
r5931:4f2ef554
Show More
Name Size Modified Last Commit Author
/ IPython / frontend / html / notebook / static / ace
ace.js Loading ...
mode-python.js Loading ...
theme-textmate.js Loading ...