X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/41c58dafe735d17b7d3241bf248ca8806a355926..a3e0e972ea5165d1d2644a17d86572a82e1397ba:/src/sources diff --git a/src/sources b/src/sources index 4e4a836..195d1bb 100644 --- a/src/sources +++ b/src/sources @@ -7,6 +7,8 @@ ast.sml configTypes.sml +../config/core/core.sig +../config/core/core.sml ../configDefault/config.sig ../configDefault/configDefault.sml @@ -48,8 +50,8 @@ acl.sml slave.sig slave.sml -defaults.sig -defaults.sml +pcre.sig +pcre.sml openssl.sig openssl.sml @@ -67,6 +69,9 @@ msg.sml domain.sig domain.sml +connect.sig +connect.sml + plugins/bind.sig plugins/bind.sml @@ -112,9 +117,6 @@ plugins/socketPerm.sml plugins/firewall.sig plugins/firewall.sml -plugins/easy_domain.sig -plugins/easy_domain.sml - mail/vmail.sig mail/vmail.sml @@ -133,5 +135,8 @@ htmlPrint.sml autodoc.sig autodoc.sml +unused.sig +unused.sml + main.sig main.sml