From e7747c0587d73d3c8fb6683a7daf4ae7cd561989 Mon Sep 17 00:00:00 2001 From: Tom Hughes Date: Fri, 1 Mar 2013 22:45:05 +0000 Subject: [PATCH 1/1] Add the external address for idris --- src/openstreetmap | 1 + 1 file changed, 1 insertion(+) diff --git a/src/openstreetmap b/src/openstreetmap index a046c44..01525bf 100644 --- a/src/openstreetmap +++ b/src/openstreetmap @@ -229,6 +229,7 @@ Cc.tile.openstreetmap:tile.geo.openstreetmap.org:600 +puff.ucl.openstreetmap:10.0.0.10 +puff.oob.openstreetmap:10.0.1.10 ++idris.openstreetmap:128.40.168.98 +idris.ucl.openstreetmap:10.0.0.4 +idris.oob.openstreetmap:10.0.1.4 -- 2.39.5