]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 829bcae) | patch
exception carried in response xml documents are now split in two attributes:
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 24 Jan 2005 16:13:00 +0000 (16:13 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 24 Jan 2005 16:13:00 +0000 (16:13 +0000)
commitcd67635a6a717d848acf65789e612cc013d4fc1b
treeae524cacb021e585b4fed8059a3d0091d9a5d061tree | snapshot
parent829bcae5f3b90741d2e747520842a54e55e8c779commit | diff
exception carried in response xml documents are now split in two attributes:
"helm:exception" (exception name) and "helm:exception_arg" (exception
argument)
helm/http_getter/main.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.