matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

projects / helm.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: df297b3) | patch

author	Stefano Zacchiroli <zack@upsilon.cc>
	Wed, 15 Jun 2005 13:35:49 +0000 (13:35 +0000)
committer	Stefano Zacchiroli <zack@upsilon.cc>
	Wed, 15 Jun 2005 13:35:49 +0000 (13:35 +0000)
commit	617285cac8aabbe62699d5d7144b0df4f5771000
tree	7084fd76bfb157ff867083ce2bd91b51cccfe7ba	tree \| snapshot
parent	df297b3b5937180caf9c1be52b18c1d29d7112de	commit \| diff

renamed clientHTTP to http_getter_wget

helm/ocaml/getter/.depend		diff \| blob \| history
helm/ocaml/getter/Makefile		diff \| blob \| history
helm/ocaml/getter/clientHTTP.ml	[deleted file]	blob \| history
helm/ocaml/getter/clientHTTP.mli	[deleted file]	blob \| history
helm/ocaml/getter/http_getter.ml		diff \| blob \| history
helm/ocaml/getter/http_getter_types.ml		diff \| blob \| history
helm/ocaml/getter/http_getter_wget.ml	[new file with mode: 0644]	blob
helm/ocaml/getter/http_getter_wget.mli	[new file with mode: 0644]	blob

Unnamed repository; edit this file 'description' to name the repository.