X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/737c68d4f3a11a344c7469085615e7a335c9a1b3..504618b9ccf4bdbd8b3e27f799770b16c6358a71:/src/sources

diff --git a/src/sources b/src/sources
index 20fa877..3b129fd 100644
--- a/src/sources
+++ b/src/sources
@@ -5,6 +5,8 @@ dataStructures.sml
 
 ast.sml
 
+configTypes.sml
+
 ../configDefault/config.sig
 ../configDefault/configDefault.sml
 
@@ -16,12 +18,18 @@ domtool.lex
 parse.sig
 parse.sml
 
+printFn.sig
+printFn.sml
+
 print.sig
 print.sml
 
 env.sig
 env.sml
 
+describe.sig
+describe.sml
+
 tycheck.sig
 tycheck.sml
 
@@ -101,6 +109,9 @@ plugins/trustedPath.sml
 plugins/socketPerm.sig
 plugins/socketPerm.sml
 
+plugins/firewall.sig
+plugins/firewall.sml
+
 mail/vmail.sig
 mail/vmail.sml