##// END OF EJS Templates
Merge pull request #9071 from minrk/rm-rtd-note...
Merge pull request #9071 from minrk/rm-rtd-note Remove old rtd note specifying that RTD isn't official docs
Thomas Kluyver -
r21848:2bef938e merge
Show More
Name Size Modified Last Commit Author
/ IPython / sphinxext
__init__.py Loading ...
custom_doctests.py Loading ...
ipython_console_highlighting.py Loading ...
ipython_directive.py Loading ...