--- a/dav/main.h Wed May 30 20:07:19 2018 +0200
+++ b/dav/main.h Thu May 31 15:24:52 2018 +0200
@@ -100,6 +100,7 @@
void printxmldoc(FILE *out, char *root, char *rootns, DavXmlNode *content);
int cmd_add_repository(CmdArgs *args);
+int cmd_remove_repository(CmdArgs *args);
#ifdef __cplusplus
}