##// 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 / tree / js
clusterlist.js Loading ...
kernellist.js Loading ...
main.js Loading ...
notebooklist.js Loading ...
sessionlist.js Loading ...