]> 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: e4e9816)
added hmysql
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 5 Oct 2005 08:59:48 +0000 (08:59 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 5 Oct 2005 08:59:48 +0000 (08:59 +0000)
helm/ocaml/Makefile.in patch | blob | history

diff --git a/helm/ocaml/Makefile.in b/helm/ocaml/Makefile.in
index a59228b34bbaa96eddcda88c80a781c3f43d43d2..93172fdd6c20b1cae35ade719d872b1d7d366d5f 100644 (file)
--- a/helm/ocaml/Makefile.in
+++ b/helm/ocaml/Makefile.in
@@ -4,6 +4,7 @@ MODULES =                       \
        extlib                  \
        xml                     \
        registry                \
+       hmysql                  \
        utf8_macros             \
        thread                  \
        xmldiff                 \
Unnamed repository; edit this file 'description' to name the repository.