From 6116ccdadc2f1afadf94e52100e8578bc9e9ba02 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 24 Feb 2008 21:47:04 +0000 Subject: [PATCH] Add back mistakenly removed default env var --- src/plugins/easy_domain.sml | 4 ++++ 1 file changed, 4 insertions(+) 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))) -- 2.20.1