X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Focaml-http%2FTODO;h=e69de29bb2d1d6434b8b29ae775ad8c2e48c5391;hb=ca9cd0aeee0ce78a891f7f6091ca8704231a446d;hp=ded75c3f5d18284b2954963a3aebfa2e1d1ce881;hpb=b5703de4f7697426ebda94fce2558add7c4f0285;p=helm.git

diff --git a/helm/DEVEL/ocaml-http/TODO b/helm/DEVEL/ocaml-http/TODO
index ded75c3f5..e69de29bb 100644
--- a/helm/DEVEL/ocaml-http/TODO
+++ b/helm/DEVEL/ocaml-http/TODO
@@ -1,7 +0,0 @@
-
-- keep in request objects or somewhere client information like IP address
-
-- parse also header and contents of http requests and add corresponding methods
-  to requests objects
-  - subTODO: support POST requests
-