##// END OF EJS Templates
Text in rename dialog was way too big - making it <p>.
Text in rename dialog was way too big - making it <p>.
Brian E. Granger -
r10394:54946fe7
Show More
Name Size Modified Last Commit Author
/ IPython / frontend / terminal
console
tests
__init__.py Loading ...
embed.py Loading ...
interactiveshell.py Loading ...
ipapp.py Loading ...