From 349e217c2ce588eec33010bada1aafbe88b0fd63 Mon Sep 17 00:00:00 2001 From: Action Bot Date: Mon, 11 Dec 2023 14:55:25 +0000 Subject: Version picker deployed for v1.71 docs to Github Pages --- .../administration/database_maintenance_tools.html | 17 ++++++++++++++++- 1 file changed, 16 insertions(+), 1 deletion(-) (limited to 'v1.71/usage/administration/database_maintenance_tools.html') diff --git a/v1.71/usage/administration/database_maintenance_tools.html b/v1.71/usage/administration/database_maintenance_tools.html index 815404740a..9276779571 100644 --- a/v1.71/usage/administration/database_maintenance_tools.html +++ b/v1.71/usage/administration/database_maintenance_tools.html @@ -28,6 +28,7 @@ + @@ -103,6 +104,18 @@ +
+ +

Synapse

@@ -197,5 +210,7 @@ + + - \ No newline at end of file + -- cgit 1.5.1