From 71f853a7db0ea805f4dd21f8418e83f6dca9610d Mon Sep 17 00:00:00 2001 From: Vagrant Cascadian Date: Sat, 5 Aug 2017 11:34:40 -0400 Subject: reproducible: Remove odc2a; it never really worked, and has been reinstalled for an experimental project. --- hosts/odc2a-armhf-rb/etc/apt/apt.conf.d/80proxy | 2 -- 1 file changed, 2 deletions(-) delete mode 100644 hosts/odc2a-armhf-rb/etc/apt/apt.conf.d/80proxy (limited to 'hosts/odc2a-armhf-rb/etc/apt/apt.conf.d/80proxy') diff --git a/hosts/odc2a-armhf-rb/etc/apt/apt.conf.d/80proxy b/hosts/odc2a-armhf-rb/etc/apt/apt.conf.d/80proxy deleted file mode 100644 index 9e738254..00000000 --- a/hosts/odc2a-armhf-rb/etc/apt/apt.conf.d/80proxy +++ /dev/null @@ -1,2 +0,0 @@ -Acquire::http::Proxy "http://10.0.0.15:8000/"; - -- cgit v1.2.3-70-g09d2