]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 54b81f2) | patch
uniformed default values handling, now they are all in this module and
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 3 Feb 2005 22:25:16 +0000 (22:25 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 3 Feb 2005 22:25:16 +0000 (22:25 +0000)
commite2e8010589204aa937ca4059fc0273c37a5d8bcf
tree81adcad58ccbe2fb4d52d7ba3e41eda68196addbtree | snapshot
parent54b81f2644be0741421824d757fc06128d9d7edccommit | diff
uniformed default values handling, now they are all in this module and
consistent with optional arguments of start functions
helm/DEVEL/ocaml-http/http_constants.ml diff | blob | history
helm/DEVEL/ocaml-http/http_constants.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.