From 7e8e70fa1d979cde7b47fa50e140f0f17e5e630e Mon Sep 17 00:00:00 2001
From: Jos Poortvliet <jospoortvliet@gmail.com>
Date: Mon, 20 Apr 2020 08:39:09 +0200
Subject: [PATCH] Update index.rst

---
 developer_manual/client_apis/WebDAV/index.rst | 1 +
 1 file changed, 1 insertion(+)

diff --git a/developer_manual/client_apis/WebDAV/index.rst b/developer_manual/client_apis/WebDAV/index.rst
index 873e46dcc..522b7b6d4 100644
--- a/developer_manual/client_apis/WebDAV/index.rst
+++ b/developer_manual/client_apis/WebDAV/index.rst
@@ -11,3 +11,4 @@ Webdav
     trashbin
     versions
     chunking
+    comments