]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: be4d9c4) | patch
- embedded ClientHTTP module (not very nice, but ClientHTTP shouldn't
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 19 Apr 2004 12:06:25 +0000 (12:06 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 19 Apr 2004 12:06:25 +0000 (12:06 +0000)
commitcc6e7ad571d40a88686427bd75e0fa38c0fa120b
tree77ccb98c10e3320edf1b1a2381087dce6976dc8ctree | snapshot
parentbe4d9c44f4d9df070339da40aa82c8cb0cc6467ccommit | diff
- embedded ClientHTTP module (not very nice, but ClientHTTP shouldn't
  belongs to Getter module!)
- added PxpHelmConf module, repository of Pxp configurations for helm
helm/ocaml/pxp/.depend diff | blob | history
helm/ocaml/pxp/Makefile diff | blob | history
helm/ocaml/pxp/pxpHelmConf.ml [new file with mode: 0644] blob
helm/ocaml/pxp/pxpHelmConf.mli [new file with mode: 0644] blob
helm/ocaml/pxp/pxpUrlResolver.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.