]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: eff6c2c) | patch
renamed Http_client to Http_user_agent to avoid clashes with Gerd's
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 2 Nov 2004 11:46:34 +0000 (11:46 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 2 Nov 2004 11:46:34 +0000 (11:46 +0000)
commitac7687ce66526f905874ed99a845223c853c558a
treef77bb93e4684f79896f1981154ec75b942565aa1tree | snapshot
parenteff6c2c83afd1ef1ccba3105692565297da8eadacommit | diff
renamed Http_client to Http_user_agent to avoid clashes with Gerd's
netclient since both Netclient and ocaml-http are used, believe it or
not, by xmlrpc
helm/DEVEL/ocaml-http/.depend diff | blob | history
helm/DEVEL/ocaml-http/Makefile diff | blob | history
helm/DEVEL/ocaml-http/debian/changelog diff | blob | history
helm/DEVEL/ocaml-http/http_client.ml [deleted file] blob | history
helm/DEVEL/ocaml-http/http_client.mli [deleted file] blob | history
helm/DEVEL/ocaml-http/http_user_agent.ml [new file with mode: 0644] blob
helm/DEVEL/ocaml-http/http_user_agent.mli [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.