diff options
author | Philip Hands <phil@hands.com> | 2015-12-11 09:31:09 +0000 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2015-12-11 18:02:33 +0100 |
commit | 1b168621c6a942fa88769b255133dc017c454833 (patch) | |
tree | a1702e05552c9f7f13bebe705398748bc5a706ee /live/config/chroot_local-includes/usr/local | |
parent | 51455c74e055da08a052adc17515bc134d0b05dc (diff) | |
download | jenkins.debian.net-1b168621c6a942fa88769b255133dc017c454833.tar.xz |
save some disk space, since we're running out
Diffstat (limited to 'live/config/chroot_local-includes/usr/local')
0 files changed, 0 insertions, 0 deletions