X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/7db53a0b3693ddd01e6a36fc5bfb4ba56b4656eb..21d921a56a850857f6ea883c6dff6a411a659bbf:/configDefault/domtool.cfs diff --git a/configDefault/domtool.cfs b/configDefault/domtool.cfs index 472fff6..61375b1 100644 --- a/configDefault/domtool.cfs +++ b/configDefault/domtool.cfs @@ -54,3 +54,11 @@ val serialDir : string val dispatcherName : string val homeBase : string + +val dnsNodes_all : string list +val dnsNodes_admin : string list + +val mailNodes_all : string list +val mailNodes_admin : string list + +val domtoolDir : string -> string