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

diff --git a/src/sources b/src/sources
index 17a9fd4..195d1bb 100644
--- a/src/sources
+++ b/src/sources
@@ -69,6 +69,9 @@ msg.sml
 domain.sig
 domain.sml
 
+connect.sig
+connect.sml
+
 plugins/bind.sig
 plugins/bind.sml