##// END OF EJS Templates
Merge pull request #7681 from mathieu1/tree-selector-ui...
Merge pull request #7681 from mathieu1/tree-selector-ui Streamline tree-selector menu

File last commit:

r11033:fa36e98f
r20659:e83cb016 merge
Show More
custom.css
6 lines | 144 B | text/css | CssLexer
/*
Placeholder for custom user CSS
mainly to be overridden in profile/static/custom/custom.css
This will always be an empty file in IPython
*/