From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Mon, 19 Apr 2004 12:06:25 +0000 (+0000)
Subject: - embedded ClientHTTP module (not very nice, but ClientHTTP shouldn't
X-Git-Tag: dead_dir_walking~40
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=cc6e7ad571d40a88686427bd75e0fa38c0fa120b;hp=cc6e7ad571d40a88686427bd75e0fa38c0fa120b;p=helm.git

- embedded ClientHTTP module (not very nice, but ClientHTTP shouldn't
  belongs to Getter module!)
- added PxpHelmConf module, repository of Pxp configurations for helm
---