##// 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

File last commit:

r14220:d1d9dfe0
r17048:03989da0
Show More
style.less
13 lines | 323 B | text/x-less | LessCssLexer
@import "style_noapp.less";
@import "notebook.less";
@import "celltoolbar.less";
@import "completer.less";
@import "menubar.less";
@import "notificationarea.less";
@import "notificationwidget.less";
@import "pager.less";
@import "quickhelp.less";
@import "savewidget.less";
@import "toolbar.less";
@import "tooltip.less";