X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/8c57a89d75cc1d4fd050bd3767f9c881b1766c4a..e1b99e23f8d30efc7842ee006e0ff3ef0347b7df:/src/sources?ds=sidebyside

diff --git a/src/sources b/src/sources
index a544a3b..7809a93 100644
--- a/src/sources
+++ b/src/sources
@@ -24,6 +24,9 @@ print.sml
 env.sig
 env.sml
 
+describe.sig
+describe.sml
+
 tycheck.sig
 tycheck.sml