From ba648b70e92d70e9f5411d791dc8b63c49498698 Mon Sep 17 00:00:00 2001
From: Github Actions <>
Date: Sat, 9 Mar 2024 06:54:36 +0000
Subject: [PATCH] Generate documentation
---
v3.2-devel.html | 6 ++++++
1 file changed, 6 insertions(+)
diff --git a/v3.2-devel.html b/v3.2-devel.html
index ba99574c..c39e8ed1 100644
--- a/v3.2-devel.html
+++ b/v3.2-devel.html
@@ -932,6 +932,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)
+