X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhttp_getter%2Fhttp_getter_const.ml;h=b3d389aebda5fd8fe8b2013202afe8de203d2498;hb=517a36beb7eb5a2606731f9c56dc03a67bf8e50d;hp=93c2d5d6a8237fa5fedaece08f7bcfcf2f323407;hpb=22cc7ae953e37e4c725d689f9b6087acec6ce609;p=helm.git 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 = "