]> git.openstreetmap.org Git - dns.git/blobdiff - src/hosts.js
Remove errol from DNS
[dns.git] / src / hosts.js
index 1593852ddb819aa6c90d02fc80a6eedaf6d54760..d9232997eb76336a50d8b2e47a9ec6e59aa7cedd 100644 (file)
@@ -34,10 +34,6 @@ var DULCY_OOB = "10.0.49.9";
 var EDDIE_INTERNAL = "10.0.0.10";
 var EDDIE_OOB = "10.0.1.10";
 
-var ERROL_IPV4 = "193.60.236.13";
-var ERROL_INTERNAL = "10.0.0.14";
-var ERROL_OOB = "10.0.1.14";
-
 var EUSTACE_IPV4 = "193.60.236.14";
 var EUSTACE_INTERNAL = "10.0.0.9";
 var EUSTACE_OOB = "10.0.1.9";