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

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

projects / helm.git / commit

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

author	Stefano Zacchiroli <zack@upsilon.cc>
	Fri, 27 Dec 2002 10:51:02 +0000 (10:51 +0000)
committer	Stefano Zacchiroli <zack@upsilon.cc>
	Fri, 27 Dec 2002 10:51:02 +0000 (10:51 +0000)
commit	32bc9336091a84376f93b06325c08dab58124a0d
tree	48695f2342917fe834ba3c9915deaf94c8da96e9	tree \| snapshot
parent	105e8197ea36bf4c3a1de2adb86d309dc45f5ccc	commit \| diff

- changed copyright year to 2003

15 files changed:

helm/http_getter/http_getter.ml		diff \| blob \| history
helm/http_getter/http_getter_cache.ml		diff \| blob \| history
helm/http_getter/http_getter_cache.mli		diff \| blob \| history
helm/http_getter/http_getter_common.mli		diff \| blob \| history
helm/http_getter/http_getter_const.ml		diff \| blob \| history
helm/http_getter/http_getter_const.mli		diff \| blob \| history
helm/http_getter/http_getter_env.ml		diff \| blob \| history
helm/http_getter/http_getter_env.mli		diff \| blob \| history
helm/http_getter/http_getter_map.ml		diff \| blob \| history
helm/http_getter/http_getter_map.mli		diff \| blob \| history
helm/http_getter/http_getter_misc.ml		diff \| blob \| history
helm/http_getter/http_getter_misc.mli		diff \| blob \| history
helm/http_getter/http_getter_types.ml		diff \| blob \| history
helm/http_getter/threadSafe.ml		diff \| blob \| history
helm/http_getter/threadSafe.mli		diff \| blob \| history

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