developer-manual.sgml: Properly close a section
authorFabian Keil <fk@fabiankeil.de>
Tue, 26 Jul 2016 10:45:49 +0000 (10:45 +0000)
committerFabian Keil <fk@fabiankeil.de>
Tue, 26 Jul 2016 10:45:49 +0000 (10:45 +0000)
commit3d893ea8e4df75048f2e2449f05af27a7d16a947
treecb37f81b38ad87263a45267ce03bd17ff584f551
parent8d0c32a3c3976518b4ba6398f1d8414365b399db
developer-manual.sgml: Properly close a section
doc/source/developer-manual.sgml