From f70e4b3680595ae450bcabde111c6dce50d49eb6 Mon Sep 17 00:00:00 2001
From: Github Actions <>
Date: Sat, 9 Mar 2024 06:16:42 +0000
Subject: [PATCH] Generate documentation
---
master.html | 6 ++++++
1 file changed, 6 insertions(+)
diff --git a/master.html b/master.html
index 484bd842..278e1b5e 100644
--- a/master.html
+++ b/master.html
@@ -928,6 +928,12 @@ and write their own collections under the path /USERNAME/.
file
File for the rights backend from_file. See the Rights section.
+
+permit_delete_collection
+(New since 3.1.9)
+Global control of permission to delete complete collection (default:
+True)
+