]> matita.cs.unibo.it Git - helm.git/commitdiff
projects / helm.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 9e67c08)
- added xmldiff module
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 4 Oct 2004 09:41:07 +0000 (09:41 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 4 Oct 2004 09:41:07 +0000 (09:41 +0000)
helm/ocaml/Makefile.in patch | blob | history

diff --git a/helm/ocaml/Makefile.in b/helm/ocaml/Makefile.in
index 1f47f94817d0915f6331f8fb6aef38876e93859b..fe318d160eaf74758529ac2035001bc1fb634a97 100644 (file)
--- a/helm/ocaml/Makefile.in
+++ b/helm/ocaml/Makefile.in
@@ -3,6 +3,7 @@ MODULES =                       \
        pxp                     \
        registry                \
        thread                  \
+       xmldiff                 \
        xml                     \
        urimanager              \
        logger                  \
Unnamed repository; edit this file 'description' to name the repository.