##// 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 / base / less
error.less Loading ...
flexbox.less Loading ...
mixins.less Loading ...
page.less Loading ...
style.less Loading ...
variables.less Loading ...