Fix a typo
authorFabian Keil <fk@fabiankeil.de>
Fri, 26 Aug 2016 12:32:07 +0000 (12:32 +0000)
committerFabian Keil <fk@fabiankeil.de>
Fri, 26 Aug 2016 12:32:07 +0000 (12:32 +0000)
commitfb83377ec681efaf0ae564f409824390da384048
treee41cc57a01fa137300b4adff3364043618888a83
parent5f744b17e7c0e0d7c0537a83c44ed849b2cde6a5
Fix a typo
doc/source/developer-manual.sgml