]> git.openstreetmap.org Git - dns.git/blobdiff - src/openstreetmap
Add idris to DNS
[dns.git] / src / openstreetmap
index 667312e608c8979c2a983116a654241b9a2c749f..7d4cd54f5153b210470486a80b06cc2ecd2f2a26 100644 (file)
@@ -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