##// END OF EJS Templates
BUG: Remove the pretty extension as it is now obsolete.
BUG: Remove the pretty extension as it is now obsolete.
Robert Kern -
r3226:d8f4a0ec
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 ...
guisupport.py Loading ...
inputhook.py Loading ...
inputhookgtk.py Loading ...
inputhookwx.py Loading ...
irunner.py Loading ...
pylabtools.py Loading ...