X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/737c68d4f3a11a344c7469085615e7a335c9a1b3..d08b9cf26fd841b6ac665ae0eba83d69f53a809c:/src/sources diff --git a/src/sources b/src/sources index 20fa877..3f72ec2 100644 --- a/src/sources +++ b/src/sources @@ -5,6 +5,8 @@ dataStructures.sml ast.sml +configTypes.sml + ../configDefault/config.sig ../configDefault/configDefault.sml @@ -16,12 +18,18 @@ domtool.lex parse.sig parse.sml +printFn.sig +printFn.sml + print.sig print.sml env.sig env.sml +describe.sig +describe.sml + tycheck.sig tycheck.sml @@ -40,8 +48,8 @@ acl.sml slave.sig slave.sml -defaults.sig -defaults.sml +pcre.sig +pcre.sml openssl.sig openssl.sml @@ -59,15 +67,15 @@ msg.sml domain.sig domain.sml +plugins/bind.sig +plugins/bind.sml + plugins/alias.sig plugins/alias.sml plugins/exim.sig plugins/exim.sml -plugins/bind.sig -plugins/bind.sml - plugins/apache.sig plugins/apache.sml @@ -101,6 +109,9 @@ plugins/trustedPath.sml plugins/socketPerm.sig plugins/socketPerm.sml +plugins/firewall.sig +plugins/firewall.sml + mail/vmail.sig mail/vmail.sml @@ -119,5 +130,8 @@ htmlPrint.sml autodoc.sig autodoc.sml +unused.sig +unused.sml + main.sig main.sml