Documentation: exclude irrelevant options from "git pull"
[gitweb.git] / Documentation / pt_BR /
drwxr-xr-x   parent (dest: Documentation; base: d51a47552a913dcd4ba436d529d092e4f38a3182)
-rw-r--r-- 24126 gittutorial.txt