X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/bbdf617f34ebca729e1188ef666a9ba9ef004773..21d921a56a850857f6ea883c6dff6a411a659bbf:/configDefault/domtool.cfs

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