Merge branch 'master' of https://github.com/ralfth/git-po-de
[gitweb.git] / ci /
drwxr-xr-x   parent (dest: ; base: 79e8ee89ae840f5f7ee3bbac38ceaee5ea2ceb59)
-rwxr-xr-x 875 run-linux32-build.sh
-rwxr-xr-x 2650 run-windows-build.sh
-rwxr-xr-x 684 test-documentation.sh