##// END OF EJS Templates
Merge pull request #3033 from ivanov/print-server-info...
Merge pull request #3033 from ivanov/print-server-info on resume, print server info again

File last commit:

r7925:8793fd26
r10020:b9f9301c merge
Show More
custom.css
6 lines | 141 B | text/css | CssLexer
/*
Placeholder for custom user CSS
mainly to be overridden in profile/static/css/custom.css
This will always be an empty file in IPython
*/