X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/8e965b2da49aab1faef95b25471513498ceca895..1824f573f7f8720514af1dc94d7cfb1de5b15fef:/configDefault/domtool.cfs?ds=sidebyside

diff --git a/configDefault/domtool.cfs b/configDefault/domtool.cfs
index b27b48a..61375b1 100644
--- a/configDefault/domtool.cfs
+++ b/configDefault/domtool.cfs
@@ -60,3 +60,5 @@ val dnsNodes_admin : string list
 
 val mailNodes_all : string list
 val mailNodes_admin : string list
+
+val domtoolDir : string -> string