Merge branch 'bc/object-id'
[gitweb.git] / ci /
drwxr-xr-x   parent (dest: ; base: 6b526ced6fb1808d1b8a9b30010e45dce10a4e7c)
-rwxr-xr-x 875 run-linux32-build.sh
-rwxr-xr-x 2650 run-windows-build.sh
-rwxr-xr-x 684 test-documentation.sh