X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fgetter%2Fhttp_getter_const.ml;h=d46b87a59703d15bf9628f4038141b7d5b45cbcf;hb=0c6a5aadb1a7746681a8e26fc0b009f847c10557;hp=3eb3e71593d62da04edf32dc898a1bf17b6af9c1;hpb=7fd9341f4e8ece48b21eb633fe58a6e506453086;p=helm.git diff --git a/helm/ocaml/getter/http_getter_const.ml b/helm/ocaml/getter/http_getter_const.ml index 3eb3e7159..d46b87a59 100644 --- a/helm/ocaml/getter/http_getter_const.ml +++ b/helm/ocaml/getter/http_getter_const.ml @@ -89,7 +89,7 @@ let usage_string configuration = getallrdfuris

- ls?baseuri=URI&format=(txt|xml)
+ ls?baseuri=regexp&format=(txt|xml)

getempty