]> matita.cs.unibo.it Git - helm.git/commitdiff
rebuilt
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 16 Dec 2003 16:17:40 +0000 (16:17 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 16 Dec 2003 16:17:40 +0000 (16:17 +0000)
helm/DEVEL/ocaml-http/.depend

index c175b191250eca5e70e10b97ddcee49ff205c5e5..6e584762d6db1575bbaefb9eee51789990fa0a8b 100644 (file)
@@ -1,3 +1,5 @@
+http_client.cmo: http_client.cmi 
+http_client.cmx: http_client.cmi 
 http_common.cmo: http_constants.cmi http_types.cmo http_common.cmi 
 http_common.cmx: http_constants.cmx http_types.cmx http_common.cmi 
 http_constants.cmo: http_constants.cmi