From: Mark Wooding <mdw@distorted.org.uk>
Date: Mon, 15 Jun 2020 17:01:25 +0000 (+0100)
Subject: Merge branch 'deploy' into deploy.spirit
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~mdw/git/distorted-chroot/commitdiff_plain/3b694b5697673a2664e193186e9917960150d7ba?hp=089b4175cd60b472efa997a9a6e9185c98f65e8c

Merge branch 'deploy' into deploy.spirit

* deploy:
  Makefile: Include C++ headers in the cross-tools bundle.
---

diff --git a/etc/apt-conf.d/90local b/etc/apt-conf.d/90local
index d69c64c..d3febb3 100644
--- a/etc/apt-conf.d/90local
+++ b/etc/apt-conf.d/90local
@@ -1,5 +1,5 @@
 ### -*-conf-*-
 
 Acquire {
-	http::Proxy "http://universe.distorted.org.uk:3142/";
+	http::Proxy "http://localhost:3142/";
 }