X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/85d62734c708bd199f0cb5cb988a99da2c19ce05..04502362ef40024052b18473028f8b53919ead15:/src/plugins/easy_domain.sml diff --git a/src/plugins/easy_domain.sml b/src/plugins/easy_domain.sml index e56c293..8a982ad 100644 --- a/src/plugins/easy_domain.sml +++ b/src/plugins/easy_domain.sml @@ -34,6 +34,10 @@ val _ = Defaults.registerDefault ("CreateWWW", (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)))