chiark / gitweb /
fix vm provider lookup flaw
[fdroidserver.git] / jenkins-setup-build-environment
2017-11-08 Hans-Christoph Steinerjenkins: rename scripts based on jenkins.debian.net...