##// END OF EJS Templates
Add context manager to reload readline history when leaving a block.
Add context manager to reload readline history when leaving a block.
Thomas Kluyver -
r3474:36a9e8f2
Show More
Name Size Modified Last Commit Author
/ IPython / external / mglob
__init__.py Loading ...
_mglob.py Loading ...