##// END OF EJS Templates
Merge pull request #7121 from takluyver/windows-int-parent-handle...
Merge pull request #7121 from takluyver/windows-int-parent-handle Convert parent handle to an int before setting environment variable

File last commit:

r19287:96eaaf4c
r19295:abab15a2 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";