##// END OF EJS Templates
Merge pull request #2492 from minrk/pygments_setup...
r8582:506151df merge
Show More
custom.js
7 lines | 147 B | application/javascript | JavascriptLexer
/*
Placeholder for custom user javascript
mainly to be overridden in profile/static/js/custom.js
This will always be an empty file in IPython
*/