]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/http_getter/http_getter_const.ml
projects / helm.git / blobdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | inline | side by side
comment mangling
[helm.git] / helm / http_getter / http_getter_const.ml
diff --git a/helm/http_getter/http_getter_const.ml b/helm/http_getter/http_getter_const.ml
index 93c2d5d6a8237fa5fedaece08f7bcfcf2f323407..b3d389aebda5fd8fe8b2013202afe8de203d2498 100644 (file)
--- 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 =
 "
 <html>
Unnamed repository; edit this file 'description' to name the repository.