X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/41c58dafe735d17b7d3241bf248ca8806a355926..945262dcc47a5e2fed8c3480f0b34fd9b97a7965:/src/sources

diff --git a/src/sources b/src/sources
index 4e4a836..1538dd4 100644
--- a/src/sources
+++ b/src/sources
@@ -51,6 +51,9 @@ slave.sml
 defaults.sig
 defaults.sml
 
+pcre.sig
+pcre.sml
+
 openssl.sig
 openssl.sml
 
@@ -133,5 +136,8 @@ htmlPrint.sml
 autodoc.sig
 autodoc.sml
 
+unused.sig
+unused.sml
+
 main.sig
 main.sml