From: Tom Hughes <tom@compton.nu>
Date: Mon, 11 Feb 2013 14:54:40 +0000 (+0000)
Subject: Add idris to DNS
X-Git-Url: https://git.openstreetmap.org./dns.git/commitdiff_plain/d58ad510d748584edbc459928f33e45e05bcbe42

Add idris to DNS
---

diff --git a/src/openstreetmap b/src/openstreetmap
index 667312e..7d4cd54 100644
--- a/src/openstreetmap
+++ b/src/openstreetmap
@@ -227,6 +227,8 @@ Cc.tile.openstreetmap:tile.geo.openstreetmap.org:600
 
 +puff.ucl.openstreetmap:10.0.0.10
 +puff.oob.openstreetmap:10.0.1.10
++idris.ucl.openstreetmap:10.0.0.4
++idris.oob.openstreetmap:10.0.1.4
 
 # APC power switches