]> 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)
commit43b1a4790cd6215742cfa0ab66ec01f3054a5a9c
tree8ab156177f80f8d486ae753023597212a62c5985
parent9cb555299fb3bb3c810f20c8cd2e1ebd54f9f3f7
bug fix: use an (un)marshaller for get_opt instead of a getter
helm/software/components/getter/http_getter_env.ml