##// END OF EJS Templates
Merge pull request #7123 from takluyver/list-servers-nopid...
Merge pull request #7123 from takluyver/list-servers-nopid Handle nbserver info files without pid, from IPython 2.x

File last commit:

r19287:96eaaf4c
r19297:9ccc64b8 merge
Show More
highlight-refs.less
5 lines | 228 B | text/x-less | LessCssLexer
/* load the codemirror defaults as LESS so that highlight.less
can load default theme declarations by reference without pulling in the
nasty positioning
*/
@import (less) "../../components/codemirror/lib/codemirror.css";