From 517a36beb7eb5a2606731f9c56dc03a67bf8e50d Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Fri, 27 Dec 2002 10:48:13 +0000 Subject: [PATCH] comment mangling --- helm/http_getter/http_getter_const.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 = " -- 2.39.2