##// 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 / frontend
qt
terminal
__init__.py Loading ...