Merge branch 'va/i18n' of ../git-gui into va/git-gui-i18n
[gitweb.git] / ci /
drwxr-xr-x   parent (dest: ; base: 0219a0572187f04cf6ff04323b81b0669776d21a)
-rwxr-xr-x 213 test-documentation.sh