push: set the remote branch field when selecting a local branch
[git-cola.git] / docs / 
tree832006c6e9a58748ebf3453974fb0f38416e294a
drwxr-xr-x   ..
-rw-r--r-- 14 .gitignore
-rw-r--r-- 2814 Makefile
drwxr-xr-x - _static
drwxr-xr-x - _templates
-rw-r--r-- 3186 conf.py
-rw-r--r-- 44806 git-cola.rst
-rw-r--r-- 2651 git-dag.rst
-rw-r--r-- 8727 hotkeys.html
-rw-r--r-- 8304 hotkeys_de.html
-rw-r--r-- 8092 hotkeys_zh_CN.html
-rw-r--r-- 8153 hotkeys_zh_TW.html
-rw-r--r-- 283 index.rst
-rw-r--r-- 309 relnotes.rst
-rw-r--r-- 5030 thanks.rst