##// END OF EJS Templates
Merge pull request #5548 from pankajp/notebook-rename-cross-device-link...
Merge pull request #5548 from pankajp/notebook-rename-cross-device-link FileNotebookManager: Use shutil.move() instead of os.rename()
Min RK -
r16240:13d3d220 merge
Show More