diff -r cfdeeed64ac5 -r 0b48f935f8a6 dav/main.h
--- a/dav/main.h	Wed Jun 13 18:14:33 2018 +0200
+++ b/dav/main.h	Fri Jun 15 15:51:21 2018 +0200
@@ -102,6 +102,8 @@
 int cmd_add_repository(CmdArgs *args);
 int cmd_remove_repository(CmdArgs *args);
 
+int cmd_repository_url(CmdArgs *args);
+
 #ifdef	__cplusplus
 }
 #endif