chiark / gitweb /
jenkins: rename scripts based on jenkins.debian.net names
[fdroidserver.git] / jenkins-build-all
2017-11-08 Hans-Christoph Steinerjenkins: rename scripts based on jenkins.debian.net...