merge toplevel-dynamic-environment

[hcoop/domtool2.git] / src / sources

diff --git a/src/sources b/src/sources
index b01f76f..17a9fd4 100644 (file)
--- a/src/sources
+++ b/src/sources
@@ -7,6 +7,8 @@ ast.sml
 
 configTypes.sml
 
+../config/core/core.sig
+../config/core/core.sml
 ../configDefault/config.sig
 ../configDefault/configDefault.sml
 
@@ -48,9 +50,6 @@ acl.sml
 slave.sig
 slave.sml
 
-defaults.sig
-defaults.sml
-
 pcre.sig
 pcre.sml
 
@@ -115,9 +114,6 @@ plugins/socketPerm.sml
 plugins/firewall.sig
 plugins/firewall.sml
 
-plugins/easy_domain.sig
-plugins/easy_domain.sml
-
 mail/vmail.sig
 mail/vmail.sml
 
@@ -136,5 +132,8 @@ htmlPrint.sml
 autodoc.sig
 autodoc.sml
 
+unused.sig
+unused.sml
+
 main.sig
 main.sml