Merge pull request #3202 from dlahoti/patch-1
[mono.git] / scripts / ci /
drwxr-xr-x   ..
-rwxr-xr-x 14924 babysitter
-rwxr-xr-x 2954 run-jenkins.sh
-rwxr-xr-x 1734 run-step.sh
-rwxr-xr-x 7724 run-test-default.sh
-rwxr-xr-x 2565 run-test-mobile_static.sh