bookmarks: add a "Default Repository" feature
[git-cola.git] / extras / sphinxtogithub / 
tree488c9018a8964f9f142cb3c02fe136d7e69ec15f
drwxr-xr-x   ..
-rw-r--r-- 724 __init__.py
-rw-r--r-- 10342 sphinxtogithub.py