##// END OF EJS Templates
Merge pull request #5512 from takluyver/i5510...
Merge pull request #5512 from takluyver/i5510 Update tooltips to refer to shift-tab
Min RK -
r16185:483a66fe merge
Show More
Name Size Modified Last Commit Author
/ IPython / external / jsonschema
COPYING Loading ...
VERSION Loading ...
__init__.py Loading ...
_jsonschema.py Loading ...