Fix typo
authorFabian Keil <fk@fabiankeil.de>
Fri, 26 Aug 2016 12:31:58 +0000 (12:31 +0000)
committerFabian Keil <fk@fabiankeil.de>
Fri, 26 Aug 2016 12:31:58 +0000 (12:31 +0000)
commit5f744b17e7c0e0d7c0537a83c44ed849b2cde6a5
treedc50ba092facf4b43a6a55ddd4ec84168c5f6c0e
parentbc85e84cb011791a5b7f60316cea3a3e697a6b87
Fix typo
doc/source/developer-manual.sgml