X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/be1bea4c0a2a4cfa0b86beccfa423366b94b84b4..76bad1b276ea45c07489dfbf0ec45a17f42f5a85:/configDefault/domtool.cfs

diff --git a/configDefault/domtool.cfs b/configDefault/domtool.cfs
index a3267d5..61375b1 100644
--- a/configDefault/domtool.cfs
+++ b/configDefault/domtool.cfs
@@ -57,3 +57,8 @@ 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