developer-manual: Add a section id to reduce link churn
authorFabian Keil <fk@fabiankeil.de>
Sun, 13 Dec 2020 18:49:06 +0000 (19:49 +0100)
committerFabian Keil <fk@fabiankeil.de>
Mon, 14 Dec 2020 07:49:17 +0000 (08:49 +0100)
commit0f02210dc1a884f4b00c9fe1c7ee4c6ae0a7697b
tree376edd3c537c0c4f3ff32df84e1f9b528a3c5347
parente1d5a39606e3e5c73b5691b27d36ce7804060237
developer-manual: Add a section id to reduce link churn
doc/source/developer-manual.sgml