X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fgetter%2Fhttp_getter_const.ml;h=f12d20f77bd8e79cd207b986c44c9f1a5595bf1c;hb=7e9904185ceff75884783dbf0bad506b8521b857;hp=944fc3ecab4e66ace659052edabb166a9d25a11d;hpb=ea4be3e2ab861e8569ee923aff9df23bb3fd8f43;p=helm.git

diff --git a/helm/ocaml/getter/http_getter_const.ml b/helm/ocaml/getter/http_getter_const.ml
index 944fc3eca..f12d20f77 100644
--- a/helm/ocaml/getter/http_getter_const.ml
+++ b/helm/ocaml/getter/http_getter_const.ml
@@ -61,6 +61,9 @@ let usage_string configuration =
     <p>
       <b><kbd>register?uri=URI&amp;url=URL</kbd></b><br />
     </p>
+    <p>
+      <b><kbd>unregister?uri=URI&amp;url=URL</kbd></b><br />
+    </p>
     <p>
       <b><kbd>resolve?uri=URI</kbd></b><br />
     </p>