Build API server and Workbench debian packages.
[arvados.git] / jenkins / arvados-workbench-extras / arvados-workbench-upgrade.sh
2015-06-03 Ward VandewegeBuild API server and Workbench debian packages.