X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/4d5126e168a9671d01a0b57efcecd08ad68dcfbe..737c68d4f3a11a344c7469085615e7a335c9a1b3:/src/sources

diff --git a/src/sources b/src/sources
index 28feb3c..20fa877 100644
--- a/src/sources
+++ b/src/sources
@@ -98,6 +98,9 @@ plugins/ftp.sml
 plugins/trustedPath.sig
 plugins/trustedPath.sml
 
+plugins/socketPerm.sig
+plugins/socketPerm.sml
+
 mail/vmail.sig
 mail/vmail.sml