From 7fd9341f4e8ece48b21eb633fe58a6e506453086 Mon Sep 17 00:00:00 2001
From: Stefano Zacchiroli
- help
+ help
display this help message
@@ -68,7 +68,7 @@ let usage_string configuration =
getxslt?uri=URI[&patch_dtd=(yes|no)]
- list_servers
+ list_servers
add_server?url=URL&position=POSITION
@@ -77,22 +77,22 @@ let usage_string configuration =
remove_server?position=POSITION
- update
+ update
- clean_cache
+ clean_cache
getalluris?format=(txt|xml)
- getallrdfuris
+ getallrdfuris
ls?baseuri=URI&format=(txt|xml)
- getempty
+ getempty
%s-- 2.39.2