chiark / gitweb /
makebuildserver: use jessie32.box from cache, if present
authorHans-Christoph Steiner <hans@eds.org>
Fri, 22 Jan 2016 12:33:14 +0000 (13:33 +0100)
committerHans-Christoph Steiner <hans@eds.org>
Tue, 26 Jan 2016 10:31:40 +0000 (11:31 +0100)
commit82e26cf59e69237f8d3b2b99c45f9ddb7ae13e47
treeb308589bdb31649d4b8952cc6039642371531e96
parent1ff4f63de348ccca80dc3e773fcd2da58ffd07b2
makebuildserver: use jessie32.box from cache, if present
makebuildserver