Initial commit of the scripts used in our Jenkins pipelines.
[arvados.git] / jenkins / run-deploy.sh
2014-06-03 Ward VandewegeInitial commit of the scripts used in our Jenkins pipel...