X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/a49a9bfbe03214c68d029fe856a56006267bc8a3..409542d7ec4496c61140e077e4885e267ab1c184:/src/sources?ds=sidebyside diff --git a/src/sources b/src/sources index 0c03c35..a544a3b 100644 --- a/src/sources +++ b/src/sources @@ -5,6 +5,8 @@ dataStructures.sml ast.sml +configTypes.sml + ../configDefault/config.sig ../configDefault/configDefault.sml @@ -46,6 +48,12 @@ defaults.sml openssl.sig openssl.sml +client.sig +client.sml + +dbms.sig +dbms.sml + msgTypes.sml msg.sig msg.sml @@ -71,6 +79,42 @@ plugins/webalizer.sml plugins/mailman.sig plugins/mailman.sml +plugins/hcoop.sig +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 + +mail/vmail.sig +mail/vmail.sml + +mail/setsa.sig +mail/setsa.sml + +mail/smtplog.sig +mail/smtplog.sml + order.sig order.sml