chiark / gitweb /
jenkins-build: clean / fix paths to buildserver base box setup
authorHans-Christoph Steiner <hans@eds.org>
Tue, 7 Nov 2017 14:53:59 +0000 (15:53 +0100)
committerHans-Christoph Steiner <hans@eds.org>
Tue, 7 Nov 2017 14:53:59 +0000 (15:53 +0100)
commitf28016002fd8a6b3595996e69e90be2bc21b603a
treefdf5db0715b375bb302ef60c6e4d03423b8477b9
parent17cf121eecfbb60128a7a0f2a8a1a6a795fd8d40
jenkins-build: clean / fix paths to buildserver base box setup
[skip ci]
jenkins-build