diff options
author | Holger Levsen <holger@layer-acht.org> | 2017-04-28 15:18:00 +0200 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2017-04-28 15:18:00 +0200 |
commit | 0018114a2da9f22cfa581961a5a3bc7043088bd6 (patch) | |
tree | fafa3a111eab4e973ad44d7ce2fc3a72fca36eb6 /hosts/rpi2c-armhf-rb/etc/apt/apt.conf.d/80proxy | |
parent | 6d0eb25d48064e23902cbb87f62a0703ba9f0e4b (diff) | |
download | jenkins.debian.net-0018114a2da9f22cfa581961a5a3bc7043088bd6.tar.xz |
simplify (and fix) check for incorrect mtu
Signed-off-by: Holger Levsen <holger@layer-acht.org>
Diffstat (limited to 'hosts/rpi2c-armhf-rb/etc/apt/apt.conf.d/80proxy')
0 files changed, 0 insertions, 0 deletions