X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/d541c6185fb0f426dce0b16e85327b53635169e0..06bd821502f57dcb4ef89295b221fc2b9a4f1ae3:/src/sources diff --git a/src/sources b/src/sources index f5043b5..1538dd4 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 @@ -43,9 +51,15 @@ slave.sml defaults.sig defaults.sml +pcre.sig +pcre.sml + openssl.sig openssl.sml +client.sig +client.sml + dbms.sig dbms.sml @@ -56,15 +70,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 @@ -80,6 +94,39 @@ plugins/hcoop.sml plugins/postgres.sig plugins/postgres.sml +plugins/mysql.sig +plugins/mysql.sml + +plugins/apt.sig +plugins/apt.sml + +plugins/cron.sig +plugins/cron.sml + +plugins/ftp.sig +plugins/ftp.sml + +plugins/trustedPath.sig +plugins/trustedPath.sml + +plugins/socketPerm.sig +plugins/socketPerm.sml + +plugins/firewall.sig +plugins/firewall.sml + +plugins/easy_domain.sig +plugins/easy_domain.sml + +mail/vmail.sig +mail/vmail.sml + +mail/setsa.sig +mail/setsa.sml + +mail/smtplog.sig +mail/smtplog.sml + order.sig order.sml @@ -89,5 +136,8 @@ htmlPrint.sml autodoc.sig autodoc.sml +unused.sig +unused.sml + main.sig main.sml