X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/8061fadf3b4e8cb08c97fe61cb38476f66efa352..7ad80c2038b827f5f47a2768b790967cc9e12b7d:/lib/domain.dtl

diff --git a/lib/domain.dtl b/lib/domain.dtl
index c3e16b5..08606a6 100644
--- a/lib/domain.dtl
+++ b/lib/domain.dtl
@@ -78,10 +78,6 @@ extern val externalMaster : ip -> master;
 {{A server not controlled by domtool will serve as master.}}
 extern val internalMaster : dns_node -> master;
 {{A server controlled by domtool will serve as master.}}
-extern val dns_master_node : dns_node;
-{{Internal master DNS node}}
-extern val dns_slave_nodes : [dns_node];
-{{Internal slave DNS nodes}}
 
 extern type dnsKind;
 {{How should DNS for this domain be handled?}}