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: 52f0f77) | patch

author	acerioni <??>
	Fri, 12 Mar 2004 09:40:58 +0000 (09:40 +0000)
committer	acerioni <??>
	Fri, 12 Mar 2004 09:40:58 +0000 (09:40 +0000)
commit	5ce3527a194c90e1c4c9073afbb3863412304048
tree	81ae784c086eabde712318d689bb965de305e33f	tree \| snapshot
parent	52f0f77f24e6a1dfd2a1b277d6ade218039ba574	commit \| diff

Type of exception changed: from exn to string.

helm/ocaml/getter/clientHTTP.ml		diff \| blob \| history
helm/ocaml/getter/clientHTTP.mli		diff \| blob \| history

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