push: unmark a local variable as static
[gitweb.git] / ci /
drwxr-xr-x   parent (dest: ; base: 54cc8aca60e474e637e9d71b57ee2c6f1fb197e6)
-rwxr-xr-x 875 run-linux32-build.sh
-rwxr-xr-x 213 test-documentation.sh