Remove a duplicated 'the'
authorFabian Keil <fk@fabiankeil.de>
Sun, 27 May 2012 15:31:24 +0000 (15:31 +0000)
committerFabian Keil <fk@fabiankeil.de>
Sun, 27 May 2012 15:31:24 +0000 (15:31 +0000)
commit0c0699b9119ae34cfe08192ce3a2746fa99f96eb
tree026fbc362550c6df47d4c7ebcb8894213ee3f5b1
parent045dcac33c472b0ac5944574673951f1c8ddc3d8
Remove a duplicated 'the'

Spotted by igor.
doc/source/developer-manual.sgml