Remove ACL entries for users with no permissions

[hcoop/domtool2.git] / src / sources

diff --git a/src/sources b/src/sources
index 28feb3c..a544a3b 100644 (file)
--- a/src/sources
+++ b/src/sources
@@ -5,6 +5,8 @@ dataStructures.sml
 
 ast.sml
 
+configTypes.sml
+
 ../configDefault/config.sig
 ../configDefault/configDefault.sml
 
@@ -98,6 +100,12 @@ 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