]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/Makefile.in
- added xmldiff module
[helm.git] / helm / ocaml / Makefile.in
index 1f47f94817d0915f6331f8fb6aef38876e93859b..fe318d160eaf74758529ac2035001bc1fb634a97 100644 (file)
@@ -3,6 +3,7 @@ MODULES =                       \
        pxp                     \
        registry                \
        thread                  \
+       xmldiff                 \
        xml                     \
        urimanager              \
        logger                  \