lib: switch from php5 to fast_php by default

[hcoop/domtool2.git] / src / sources

diff --git a/src/sources b/src/sources
index 17a9fd4..195d1bb 100644 (file)
--- 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