]> matita.cs.unibo.it Git - helm.git/commit
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
tree51141b3bc094160157d7c2061b372ba83aa1f043
parent541865b6906664544c3ac1aca917742a808cdcd9
Errore message improved.
helm/http_getter/http_getter_misc.ml