]> matita.cs.unibo.it Git - helm.git/blob - getter/.depend
made executable again
[helm.git] / getter / .depend
1 configuration.cmo: configuration.cmi 
2 configuration.cmx: configuration.cmi 
3 clientHTTP.cmo: clientHTTP.cmi 
4 clientHTTP.cmx: clientHTTP.cmi 
5 getter.cmo: clientHTTP.cmi configuration.cmi getter.cmi 
6 getter.cmx: clientHTTP.cmx configuration.cmx getter.cmi