X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/8d06030c085c5ae1d186b679bd142a04055cc239..d63aa5e7b08630cc17a606e85e35acc5bd0041ee:/configDefault/domtool.cfs diff --git a/configDefault/domtool.cfs b/configDefault/domtool.cfs index 4cf7fee..94b0076 100644 --- a/configDefault/domtool.cfs +++ b/configDefault/domtool.cfs @@ -13,13 +13,6 @@ val tmpDir : string val domtool_publish : string -(* DNS SOA parameter defaults *) -val defaultNs : string -val defaultRefresh : int -val defaultRetry : int -val defaultExpiry : int -val defaultMinimum : int - (* Names of machines who will receive configuration *) val nodeIps : (string * string) list val dispatcherName : string