X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/931aae1463c95af3bb24a5cec367fe657a478856..a3e0e972ea5165d1d2644a17d86572a82e1397ba:/src/sources diff --git a/src/sources b/src/sources index b01f76f..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,9 +50,6 @@ acl.sml slave.sig slave.sml -defaults.sig -defaults.sml - pcre.sig pcre.sml @@ -70,6 +69,9 @@ msg.sml domain.sig domain.sml +connect.sig +connect.sml + plugins/bind.sig plugins/bind.sml @@ -115,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 @@ -136,5 +135,8 @@ htmlPrint.sml autodoc.sig autodoc.sml +unused.sig +unused.sml + main.sig main.sml