]> matita.cs.unibo.it Git - helm.git/commit - helm/http_getter/http_getter_misc.ml
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 541865b) | patch
Errore message improved.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 19 Jan 2004 12:10:48 +0000 (12:10 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 19 Jan 2004 12:10:48 +0000 (12:10 +0000)
commit17105dbea52ebfb6807140f501403b43b79a6179
tree51141b3bc094160157d7c2061b372ba83aa1f043tree | snapshot
parent541865b6906664544c3ac1aca917742a808cdcd9commit | diff
Errore message improved.
helm/http_getter/http_getter_misc.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.