##// END OF EJS Templates
Merge pull request #4415 from ivanov/more-tooltips...
Merge pull request #4415 from ivanov/more-tooltips More tooltips in the Notebook menu
Paul Ivanov -
r13342:9cc24e6a merge
Show More
Name Size Modified Last Commit Author
/ IPython / kernel / zmq / gui
__init__.py Loading ...
gtkembed.py Loading ...