From 77da745c262be91e615b4ff063a43c4f5241de23 Mon Sep 17 00:00:00 2001
From: Private Maker <privatemaker@posteo.net>
Date: Sun, 17 Sep 2023 20:50:57 +0000
Subject: [PATCH] rename Core to Server development

Signed-off-by: Private Maker <privatemaker@posteo.net>
---
 developer_manual/core/index.rst | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/developer_manual/core/index.rst b/developer_manual/core/index.rst
index d7031c5ff..d287612f4 100644
--- a/developer_manual/core/index.rst
+++ b/developer_manual/core/index.rst
@@ -1,8 +1,8 @@
 .. _coreindex:
 
-=================
-Core development
-=================
+==================
+Server development
+==================
 
 Please make sure you have set up a :ref:`devenv`.