]> matita.cs.unibo.it Git - helm.git/blob - helm/ocaml/getter/.depend
New implementation using the new HELM OCaml libraries.
[helm.git] / helm / ocaml / getter / .depend
1 clientHTTP.cmo: configuration.cmo clientHTTP.cmi 
2 clientHTTP.cmx: configuration.cmx clientHTTP.cmi 
3 getter.cmo: clientHTTP.cmi configuration.cmo getter.cmi 
4 getter.cmx: clientHTTP.cmx configuration.cmx getter.cmi