X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/85d62734c708bd199f0cb5cb988a99da2c19ce05..942d94aba98ad4610ef258f17b073090bcd775f9:/src/plugins/easy_domain.sml diff --git a/src/plugins/easy_domain.sml b/src/plugins/easy_domain.sml index e56c293..fee0689 100644 --- a/src/plugins/easy_domain.sml +++ b/src/plugins/easy_domain.sml @@ -34,6 +34,14 @@ val _ = Defaults.registerDefault ("CreateWWW", (TBase "bool", dl), (fn () => (EVar "true", dl))) +val _ = Defaults.registerDefault ("DefaultA", + (TBase "bool", dl), + (fn () => (EVar "true", dl))) + +val _ = Defaults.registerDefault ("DefaultAlias", + (TBase "bool", dl), + (fn () => (EVar "true", dl))) + val _ = Defaults.registerDefault ("HandleMail", (TBase "bool", dl), (fn () => (EVar "true", dl)))