Merge pull request #11120 from privatemaker/change-to-server

rename Core to Server development
This commit is contained in:
Ferdinand Thiessen
2023-09-19 21:50:54 +02:00
committed by GitHub

View File

@@ -1,8 +1,8 @@
.. _coreindex:
=================
Core development
=================
==================
Server development
==================
Please make sure you have set up a :ref:`devenv`.