]> matita.cs.unibo.it Git - helm.git/commitdiff
- added two TODO comment
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 3 Dec 2002 21:37:26 +0000 (21:37 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 3 Dec 2002 21:37:26 +0000 (21:37 +0000)
helm/DEVEL/ocaml-http/http_parser.ml

index 3bf186fcbc2fae8c1da4fdb76a4a38adeab8fd49..433754c5c8938c7bee073c981ce6313d4327d576 100644 (file)
@@ -19,6 +19,9 @@
   Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
 *)
 
+(* TODO some useless function here *)
+(* TODO remove is_http* from mli? *)
+
 open Neturl;;
 open Printf;;