##// 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
Name Size Modified Last Commit Author
/ setupext
__init__.py Loading ...
install_data_ext.py Loading ...
setupext.py Loading ...