]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 307b83c) | patch
no longer handle Shell exceptions (no more used by helm-getter)
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 6 Jul 2005 16:00:45 +0000 (16:00 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 6 Jul 2005 16:00:45 +0000 (16:00 +0000)
commitfaa5dd9616d34b5ceb30ad693dcfdc34479d4a5e
tree99dde3ebebfda701aecb5fef1fcdd924f3aeb120tree | snapshot
parent307b83cffa8a1e851d2e7ec28b07251918cff551commit | diff
no longer handle Shell exceptions (no more used by helm-getter)
helm/http_getter/main.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.