Merge branch 'jk/interpret-branch-name' into maint
[gitweb.git] / ci /
drwxr-xr-x   parent (dest: ; base: 41534b626ebdf3fb4fb692749245b90ff2bb7e13)
-rwxr-xr-x 875 run-linux32-build.sh
-rwxr-xr-x 213 test-documentation.sh