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