diff -r ddda42712f39 -r 26fdeed98cd7 dav/config.h
--- 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);