Undo two hunks that I accidentally committed in 565c31196f3ccd4346c8a1ac1e19b1deda22eea6.
[arvados-dev.git] / jenkins /
drwxr-xr-x   ..
-rwxr-xr-x 5792 run-build-packages.sh
-rwxr-xr-x 3672 run-deploy.sh
-rwxr-xr-x 805 run-docker-tests.sh
-rwxr-xr-x 1030 run-tapestry-tests.sh
-rwxr-xr-x 9743 run-tests.sh