src/ptr_he_ams_ipv4.js

   1 D(DOMAIN, REGISTRAR, DnsProvider(PROVIDER),
   2   PTR(IPV4["dribble.he"], "dribble.he.openstreetmap.org."),
   3   PTR(IPV4["dulcy.he"], "dulcy.he.openstreetmap.org."),
   4   PTR(IPV4["faffy.he"], "faffy.he.openstreetmap.org."),
   5   PTR(IPV4["lockheed.he"], "lockheed.he.openstreetmap.org."),
   6   PTR(IPV4["norbert.he"], "norbert.he.openstreetmap.org."),
   7   PTR(IPV4["odin.he"], "odin.he.openstreetmap.org."),
   8   PTR(IPV4["spike-06.he"], "spike-06.he.openstreetmap.org."),
   9   PTR(IPV4["spike-07.he"], "spike-07.he.openstreetmap.org."),
  10   PTR(IPV4["spike-08.he"], "spike-08.he.openstreetmap.org."),
  11   PTR(IPV4["tabaluga.he"], "tabaluga.he.openstreetmap.org."),
  12   PTR(IPV4["vhagar.he"], "vhagar.he.openstreetmap.org."),
  13   PTR(IPV4["switch1.he.ams"], "switch1.he.ams.openstreetmap.org.")
  14 );