chiark / gitweb /
vmtools: remove old vagrant workaround
[fdroidserver.git] / jenkins-setup-build-environment
2017-11-08 Hans-Christoph Steinerjenkins: rename scripts based on jenkins.debian.net...