diff -r edbb20b1438d -r d7f5067a27ce dav/main.h
--- a/dav/main.h	Sun Dec 17 14:25:34 2023 +0100
+++ b/dav/main.h	Sun Dec 17 15:03:01 2023 +0100
@@ -128,6 +128,7 @@
 
 int cmd_add_repository(CmdArgs *args);
 int cmd_remove_repository(CmdArgs *args);
+int cmd_list_repositories(void);
 
 int cmd_repository_url(CmdArgs *args);