##// END OF EJS Templates
Backport PR #5917: use shutil.move instead of os.rename...
Backport PR #5917: use shutil.move instead of os.rename when moving config files closes #5898
MinRK -
r17048:03989da0
Show More
Name Size Modified Last Commit Author
/ IPython / html / static / notebook / less
ansicolors.less Loading ...
cell.less Loading ...
celltoolbar.less Loading ...
codecell.less Loading ...
codemirror.less Loading ...
completer.less Loading ...
highlight.less Loading ...
menubar.less Loading ...
notebook.less Loading ...
notificationarea.less Loading ...
notificationwidget.less Loading ...
outputarea.less Loading ...
pager.less Loading ...
quickhelp.less Loading ...
renderedhtml.less Loading ...
savewidget.less Loading ...
style.less Loading ...
style_noapp.less Loading ...
textcell.less Loading ...
toolbar.less Loading ...
tooltip.less Loading ...
variables.less Loading ...