gnunet-handbook

commit 0a331cdaf9397c301cd865f398cb372dcbbe5b26
parent 3b6752514bdf9a240b89b935f15b0f68511f4a99
Author: Martin Schanzenbach <schanzen@gnunet.org>
Date:   Fri, 12 Aug 2022 07:23:32 +0200

fix

Diffstat:
M
man_developers/style.rst
 | 
7
++-----

1 file changed, 2 insertions(+), 5 deletions(-)
diff --git a/man_developers/style.rst b/man_developers/style.rst
@@ -154,7 +154,7 @@ Each variable type should be chosen with care.
 
 
 Continuous integration
-~~~~~~~~~~~~~~~~~~~~~~
+======================
 
 The continuous integration buildbot can be found at
 https://buildbot.gnunet.org. Repositories need to be enabled by a
@@ -181,10 +181,7 @@ developers with accounts for the GNUnet project on coverity.com are able
 to see the analysis results.
 
 Commit messages and developer branches
-.. _Commit-messages-and-developer-branches:
-
-Commit messages and developer branches
-~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+======================================
 
 You can find the GNUnet project repositories at https://git.gnunet.org.
 For each release, the ChangeLog file is generated from the commit