X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/a51387b870b88439f6d75ead15c22281dd5e4bff..e140629ff492a6440c7b0d892d27ed443a2f9cd9:/src/plugins/easy_domain.sml diff --git a/src/plugins/easy_domain.sml b/src/plugins/easy_domain.sml index e486e60..7a15dea 100644 --- a/src/plugins/easy_domain.sml +++ b/src/plugins/easy_domain.sml @@ -1,5 +1,6 @@ (* HCoop Domtool (http://hcoop.sourceforge.net/) * Copyright (c) 2007, Adam Chlipala + * Copyright (c) 2014 Clinton Ebadi * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License @@ -42,6 +43,10 @@ val _ = Defaults.registerDefault ("DefaultAlias", (TBase "bool", dl), (fn () => (EVar "true", dl))) +val _ = Defaults.registerDefault ("DefaultAliasSource", + (TBase "aliasSource", dl), + (fn () => (EVar "defaultSource", dl))) + val _ = Defaults.registerDefault ("HandleMail", (TBase "bool", dl), (fn () => (EVar "true", dl)))