##// END OF EJS Templates
BUG: Improve hack. Issue #755. execute_file fails if filename has spaces
BUG: Improve hack. Issue #755. execute_file fails if filename has spaces
jdmarch -
r4716:3ccb8eee
Show More
Name Size Modified Last Commit Author
/ IPython / zmq / gui
__init__.py Loading ...
gtkembed.py Loading ...