- added "cp", a wrapper around omonymous command

[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..cfa21fe913420cfa1c72421f2be9723f174d35f1 100644 (file)
--- a/helm/http_getter/http_getter_const.ml
+++ b/helm/http_getter/http_getter_const.ml
@@ -1,5 +1,5 @@
  (*
- *  Copyright (C) 2000, HELM Team.
+ *  Copyright (C) 2003, HELM Team.
   *
   *  This file is part of HELM, an Hypertextual, Electronic
   *  Library of Mathematics, developed at the Computer Science
@@ -24,7 +24,7 @@
   *  http://cs.unibo.it/helm/.
   *)
  
-  (* TODO *)
+  (* TODO provide a better usage string *)
  let usage_string =
  "
  <html>