diff -r 017a4f09e6fa -r 52e4171d42ce dav/main.h
--- a/dav/main.h	Sun Sep 23 08:13:50 2018 +0200
+++ b/dav/main.h	Sun Sep 23 12:51:41 2018 +0200
@@ -94,6 +94,12 @@
 
 int cmd_info(CmdArgs *args);
 
+int cmd_checkout(CmdArgs *args);
+int cmd_checkin(CmdArgs *args);
+int cmd_uncheckout(CmdArgs *args);
+int cmd_versioncontrol(CmdArgs *args);
+int cmd_list_versions(CmdArgs *args);
+
 char* stdin2str();
 char* xml2str(DavXmlNode *node);
 void printxmldoc(FILE *out, char *root, char *rootns, DavXmlNode *content);