--- a/dav/config.h Wed May 30 20:07:19 2018 +0200
+++ b/dav/config.h Thu May 31 15:24:52 2018 +0200
@@ -87,6 +87,7 @@
Key* get_key(char *name);
int add_repository(Repository *repo);
+int remove_repository(Repository *repo);
int list_repositories(void);
UcxList* get_repositories(void);