]> matita.cs.unibo.it Git - helm.git/commit
added helm:exception handling of Http_getter_types.Key_not_found
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 24 Jan 2005 12:57:00 +0000 (12:57 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 24 Jan 2005 12:57:00 +0000 (12:57 +0000)
commit829bcae5f3b90741d2e747520842a54e55e8c779
treea93c6203208bbe1f121bdc3adfecb5accdb73ada
parent18bd1d094e9227822ea8c0fa4f9668cd8752236f
added helm:exception handling of Http_getter_types.Key_not_found
helm/http_getter/main.ml