X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/d08b9cf26fd841b6ac665ae0eba83d69f53a809c..2b75bae8ada47b59140ee0eebf7de424c0008431:/src/sources

diff --git a/src/sources b/src/sources
index 3f72ec2..195d1bb 100644
--- 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
 
@@ -67,6 +69,9 @@ msg.sml
 domain.sig
 domain.sml
 
+connect.sig
+connect.sml
+
 plugins/bind.sig
 plugins/bind.sml