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

diff --git a/helm/DEVEL/ocaml-http/TODO b/helm/DEVEL/ocaml-http/TODO
index e69de29bb..7fc3c6bb6 100644
--- a/helm/DEVEL/ocaml-http/TODO
+++ b/helm/DEVEL/ocaml-http/TODO
@@ -0,0 +1 @@
+- support for HTTPS