resources: Document the install-docs target in html_docs()
[git-cola.git] / bin / 
tree8caf73f9bb104948657b2452df41cc9418956eee
drwxr-xr-x   ..
drwxr-xr-x - difftool
-rwxr-xr-x 1935 git-cola