]> matita.cs.unibo.it Git - helm.git/commit
- use polymorphic variants for some configuration parameters
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 6 Apr 2004 09:52:10 +0000 (09:52 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 6 Apr 2004 09:52:10 +0000 (09:52 +0000)
commitd8738e52af861cbdda5268671b30183b99d51c54
treeecbdbcb12a0098bf9b3cc40a698a354899ace843
parentbadfee5b6d3480172a3da91148605298f2b27986
- use polymorphic variants for some configuration parameters
helm/ocaml/getter/http_getter_env.ml
helm/ocaml/getter/http_getter_types.ml