##// END OF EJS Templates
merge pull request by number...
merge pull request by number with options : merge PR -m number [number ...] lists pull request (-l) use github v2 (-v2) api (sorry for me i've issues with v3/https/proxy)
Matthias BUSSONNIER -
r7254:61aacf0d
Show More
Name Size Modified Last Commit Author
/ IPython / zmq
gui
pylab
tests
__init__.py Loading ...
blockingkernelmanager.py Loading ...
completer.py Loading ...
displayhook.py Loading ...
entry_point.py Loading ...
eventloops.py Loading ...
frontend.py Loading ...
heartbeat.py Loading ...
iostream.py Loading ...
ipkernel.py Loading ...
kernelapp.py Loading ...
kernelmanager.py Loading ...
log.py Loading ...
logtopics.rst Loading ...
parentpoller.py Loading ...
serialize.py Loading ...
session.py Loading ...
zmqshell.py Loading ...