From: Stefano Zacchiroli Date: Fri, 27 Dec 2002 10:48:13 +0000 (+0000) Subject: comment mangling X-Git-Tag: v0_3_99~103 X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=517a36beb7eb5a2606731f9c56dc03a67bf8e50d comment mangling --- diff --git a/helm/http_getter/http_getter_const.ml b/helm/http_getter/http_getter_const.ml index 93c2d5d6a..b3d389aeb 100644 --- a/helm/http_getter/http_getter_const.ml +++ b/helm/http_getter/http_getter_const.ml @@ -24,7 +24,7 @@ * http://cs.unibo.it/helm/. *) - (* TODO *) + (* TODO provide a better usage string *) let usage_string = "