Merge branch 'master' of https://github.com/ralfth/git-po-de
[git/debian.git] / ci / 
tree54a6a12d1baa8fac22f4b44d116917d20e4e2976
drwxr-xr-x   ..
-rwxr-xr-x 875 run-linux32-build.sh
-rwxr-xr-x 2650 run-windows-build.sh
-rwxr-xr-x 684 test-documentation.sh