]> matita.cs.unibo.it Git - helm.git/commit
moved hmysql to a separate module
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 5 Oct 2005 08:59:33 +0000 (08:59 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 5 Oct 2005 08:59:33 +0000 (08:59 +0000)
commite4e981600318883a88b87251d9cf1ee7336c0fac
treea97c322a21296d1ba8b1d3a48bd502cb2708a60c
parent57f3161ea3aab0ad77be5cf33010811a68b19eb6
moved hmysql to a separate module
helm/ocaml/extlib/.depend
helm/ocaml/extlib/Makefile
helm/ocaml/extlib/hMysql.ml [deleted file]
helm/ocaml/extlib/hMysql.mli [deleted file]