From 44de18e6b1fa6a58703ee51bf9d393c2ceb0efd0 Mon Sep 17 00:00:00 2001 From: "Dr. Denis" Date: Tue, 21 Mar 2023 16:29:01 +0100 Subject: [PATCH] Fix menu link in developer guidelines. (#112) --- docs/guidelines/development.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/guidelines/development.rst b/docs/guidelines/development.rst index efdea7bb..37482fc4 100644 --- a/docs/guidelines/development.rst +++ b/docs/guidelines/development.rst @@ -10,7 +10,7 @@ This documents proposes development guidelines to increase work efficiency and s Overview ========= -1. `Making changes to the code-base by submitting a Pull Request <#>`_ +1. `Making changes to the code-base by submitting a Pull Request <#code-changes-and-pull-request-submissions>`_ 2. `Using *pre-commit* <#use-pre-commit-for-formatting-and-linting>`_