Add HCoop home directory extern function
[hcoop/domtool2.git] / src / sources
index 0c03c35..3b78866 100644 (file)
@@ -71,6 +71,9 @@ plugins/webalizer.sml
 plugins/mailman.sig
 plugins/mailman.sml
 
+plugins/hcoop.sig
+plugins/hcoop.sml
+
 order.sig
 order.sml