diff options
author | Holger Levsen <holger@layer-acht.org> | 2015-12-15 01:56:15 +0100 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2015-12-15 01:56:15 +0100 |
commit | 33ce85927f07654da8d94f265d6196be9bf5a1f9 (patch) | |
tree | 52eee336f1d273f736f681e1cd38af47ffee0da2 /hosts/jenkins/etc/apt/apt.conf.d/80proxy | |
parent | 9cb800dac09c05f42ef2159da5dc432d96caebe5 (diff) | |
download | jenkins.debian.net-33ce85927f07654da8d94f265d6196be9bf5a1f9.tar.xz |
reproducible coreboot: git clone with --depth 1 too
Diffstat (limited to 'hosts/jenkins/etc/apt/apt.conf.d/80proxy')
0 files changed, 0 insertions, 0 deletions