X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/0d437aa61b8c95c6f29605e046ea3e49a37ca29f..841c836a0e0fedb8eb38a48e0fe44dc894346928:/configDefault/domtool.cfs

diff --git a/configDefault/domtool.cfs b/configDefault/domtool.cfs
index 6d8622a..3424464 100644
--- a/configDefault/domtool.cfs
+++ b/configDefault/domtool.cfs
@@ -57,3 +57,5 @@ val domtoolDir : string -> string
 val worldReadable : string list
 
 val publish_reusers : string
+
+include CONFIG_CORE