developer-manual: Fix typo
authorFabian Keil <fk@fabiankeil.de>
Mon, 14 Dec 2020 16:45:24 +0000 (17:45 +0100)
committerFabian Keil <fk@fabiankeil.de>
Mon, 14 Dec 2020 16:57:51 +0000 (17:57 +0100)
commit381cfeb581708308f4258de080bd252839511477
tree68fe9f6965ac7a704894864d3d9224045111d24a
parent3c7d8e686669d69d6731a0d6698f888e78772fcb
developer-manual: Fix typo
doc/source/developer-manual.sgml