From 85d62734c708bd199f0cb5cb988a99da2c19ce05 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 24 Feb 2008 21:32:44 +0000 Subject: [PATCH] Add new Easy_domain env defaults --- src/plugins/easy_domain.sml | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/src/plugins/easy_domain.sml b/src/plugins/easy_domain.sml index 70a3601..e56c293 100644 --- a/src/plugins/easy_domain.sml +++ b/src/plugins/easy_domain.sml @@ -34,7 +34,11 @@ val _ = Defaults.registerDefault ("CreateWWW", (TBase "bool", dl), (fn () => (EVar "true", dl))) -val _ = Defaults.registerDefault ("DefaultAlias", +val _ = Defaults.registerDefault ("HandleMail", + (TBase "bool", dl), + (fn () => (EVar "true", dl))) + +val _ = Defaults.registerDefault ("AddMX", (TBase "bool", dl), (fn () => (EVar "true", dl))) -- 2.20.1