##// END OF EJS Templates
Merge pull request #5272 from minrk/highlight-language-metadata...
Merge pull request #5272 from minrk/highlight-language-metadata allow highlighting language to be set from notebook metadata
Min RK -
r15681:9cea9c07 merge
Show More
Name Size Modified Last Commit Author
/ IPython / html / static / widgets / less
widgets.less Loading ...