]> matita.cs.unibo.it Git - helm.git/blob - helm/ocaml/getter/.depend
moved uwobo sources to the root uwobo directory
[helm.git] / helm / ocaml / getter / .depend
1 configuration.cmo: configuration.cmi 
2 configuration.cmx: configuration.cmi 
3 clientHTTP.cmo: configuration.cmi clientHTTP.cmi 
4 clientHTTP.cmx: configuration.cmx clientHTTP.cmi 
5 getter.cmo: clientHTTP.cmi configuration.cmi getter.cmi 
6 getter.cmx: clientHTTP.cmx configuration.cmx getter.cmi