##// 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 / widgets / less
widgets.less Loading ...