diff -r f503c272bd70 -r 8f2b8f2a5cde dav/main.h
--- a/dav/main.h	Sat Oct 12 09:53:32 2019 +0200
+++ b/dav/main.h	Sat Oct 12 11:17:11 2019 +0200
@@ -131,6 +131,8 @@
 int cmd_repository_url(CmdArgs *args);
 
 int cmd_add_user(CmdArgs *args);
+int cmd_list_users(CmdArgs *args);
+int cmd_remove_user(CmdArgs *args);
 
 int shell_completion(CmdArgs *args, int index);