doc: fix a coding style error in the developer documentation.
authorTim Walker <tdskywalker@gmail.com>
Sun, 22 Dec 2013 17:07:35 +0000 (17:07 +0000)
committerTim Walker <tdskywalker@gmail.com>
Sun, 22 Dec 2013 21:34:58 +0000 (22:34 +0100)
commit6c0e83511705e7f8f5100e7852a1e7fd16aa8877
tree4e56527cda5ec44a01a21e1f5454c557246fb234
parent61ae993957f8ff7e12c5983a1b21d5ec1965b328
doc: fix a coding style error in the developer documentation.
doc/developer.texi