diff options
author | Mattia Rizzolo <mattia@mapreri.org> | 2015-03-29 17:38:36 +0200 |
---|---|---|
committer | Mattia Rizzolo <mattia@mapreri.org> | 2015-03-29 17:38:36 +0200 |
commit | 4f16fda1bd66cbff8eea2a33ec72484825c9a55a (patch) | |
tree | 46ffdc4829f42b10a7d3a8642707a4fe7b44d97c /etc/apt/apt.conf.d/80proxy | |
parent | 0eab6faefc17b5fab951485bad7bbc5a363dd56f (diff) | |
download | jenkins.debian.net-4f16fda1bd66cbff8eea2a33ec72484825c9a55a.tar.xz |
reproducible: html_notes: quiet down the output
Diffstat (limited to 'etc/apt/apt.conf.d/80proxy')
0 files changed, 0 insertions, 0 deletions