##// END OF EJS Templates
Merge pull request #3516 from jakevdp/configurable_highlight...
Merge pull request #3516 from jakevdp/configurable_highlight make css highlight style configurable
Matthias Bussonnier -
r11142:2cfee8d6 merge
Show More
Name Size Modified Last Commit Author
/ IPython / lib
tests
__init__.py Loading ...
backgroundjobs.py Loading ...
clipboard.py Loading ...
deepreload.py Loading ...
demo.py Loading ...
display.py Loading ...
editorhooks.py Loading ...
guisupport.py Loading ...
inputhook.py Loading ...
inputhookglut.py Loading ...
inputhookgtk.py Loading ...
inputhookgtk3.py Loading ...
inputhookpyglet.py Loading ...
inputhookqt4.py Loading ...
inputhookwx.py Loading ...
irunner.py Loading ...
kernel.py Loading ...
latextools.py Loading ...
pretty.py Loading ...
security.py Loading ...