]> matita.cs.unibo.it Git - helm.git/commit
bug fix: use an (un)marshaller for get_opt instead of a getter
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 29 May 2006 14:12:40 +0000 (14:12 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 29 May 2006 14:12:40 +0000 (14:12 +0000)
commitf2be42a33cc58818ab3e84ed22b6b0f35d25fd7d
tree1eac73e94761682a427b7fc4c69599ac87779bf0
parentc3d139977ba446b600bb81c8d66c9997909ebccc
bug fix: use an (un)marshaller for get_opt instead of a getter
components/getter/http_getter_env.ml