X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/931aae1463c95af3bb24a5cec367fe657a478856..fd59cbe6ef388ea0b4b6380e5887a4d5e6d6b93e:/src/sources

diff --git a/src/sources b/src/sources
index b01f76f..1538dd4 100644
--- a/src/sources
+++ b/src/sources
@@ -136,5 +136,8 @@ htmlPrint.sml
 autodoc.sig
 autodoc.sml
 
+unused.sig
+unused.sml
+
 main.sig
 main.sml