##// END OF EJS Templates
Merge pull request #976 from minrk/whatsnew...
Merge pull request #976 from minrk/whatsnew Getting started on What's New for 0.12, and adding github sphinx extension, for easy links to GitHub issues, pull requests, etc.
Min RK -
r5282:da777005 merge
Show More
Name Size Modified Last Commit Author
/ ... / html / notebook / static / codemirror / theme
default.css Loading ...
elegant.css Loading ...
ipython.css Loading ...
neat.css Loading ...
night.css Loading ...