merge toplevel-dynamic-environment

[hcoop/domtool2.git] / src / sources

diff --git a/src/sources b/src/sources
index 3c3ff42..17a9fd4 100644 (file)
--- a/src/sources
+++ b/src/sources
@@ -50,9 +50,6 @@ acl.sml
 slave.sig
 slave.sml
 
 slave.sig
 slave.sml
 

-defaults.sig
-defaults.sml
-

 pcre.sig
 pcre.sml
 
 pcre.sig
 pcre.sml
 


@@ -117,9 +114,6 @@ plugins/socketPerm.sml
 plugins/firewall.sig
 plugins/firewall.sml
 
 plugins/firewall.sig
 plugins/firewall.sml
 

-plugins/easy_domain.sig
-plugins/easy_domain.sml
-

 mail/vmail.sig
 mail/vmail.sml
 
 mail/vmail.sig
 mail/vmail.sml