##// 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)

File last commit:

r2732:60cab731
r7254:61aacf0d
Show More
__init__.py
2 lines | 78 B | text/x-python | PythonLexer
# -*- coding: utf-8 -*-
"""This directory is meant for IPython extensions."""