##// END OF EJS Templates
Merge pull request #3101 from minrk/marked...
Merge pull request #3101 from minrk/marked use marked / highlight.js instead of pagedown and prettify
Brian E. Granger -
r10546:2d6f3543 merge
Show More
Name Size Modified Last Commit Author
/ IPython / frontend / html
notebook
__init__.py Loading ...