diff options
| author | Philip Hands <phil@hands.com> | 2016-04-28 21:01:14 +0000 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2016-04-28 23:05:14 +0200 |
| commit | 4e5cec686537710c475eff1a14a1e6b5292facbc (patch) | |
| tree | 8ae7a7a959691d816166152dad97738bd7952ad6 /hosts/hb0-armhf-rb/etc/apt/apt.conf.d/80proxy | |
| parent | 5dd50ae8d9434fc93bf7558385f23c1523552bd3 (diff) | |
| download | jenkins.debian.net-4e5cec686537710c475eff1a14a1e6b5292facbc.tar.xz | |
stop using OCR for now (until I can make the logs quiet)
Diffstat (limited to 'hosts/hb0-armhf-rb/etc/apt/apt.conf.d/80proxy')
0 files changed, 0 insertions, 0 deletions