X-Git-Url: https://git.hcoop.net/hcoop/zz_old/domtool2-proto.git/blobdiff_plain/c342e1443f549cf2e33a9975abf69c2706e7c347..202d474eb184a77605ea519956afffd336948f3e:/src/sources

diff --git a/src/sources b/src/sources
index 0c03c35..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,18 @@ slave.sml
 defaults.sig
 defaults.sml
 
+pcre.sig
+pcre.sml
+
 openssl.sig
 openssl.sml
 
+client.sig
+client.sml
+
+dbms.sig
+dbms.sml
+
 msgTypes.sml
 msg.sig
 msg.sml
@@ -53,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
 
@@ -71,6 +88,45 @@ 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
+
+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
 
@@ -80,5 +136,8 @@ htmlPrint.sml
 autodoc.sig
 autodoc.sml
 
+unused.sig
+unused.sml
+
 main.sig
 main.sml