doc/developer: misc minor fixes
authorGanesh Ajjanagadde <gajjanagadde@gmail.com>
Thu, 22 Oct 2015 23:37:32 +0000 (19:37 -0400)
committerGanesh Ajjanagadde <gajjanagadde@gmail.com>
Thu, 10 Dec 2015 01:09:33 +0000 (20:09 -0500)
commit82f3d47b4f799d446f487085ae52fecfb89bd443
treeef109af9b2b3a77d2e9d82144421448de29f31df
parente5d771c84deaa70ce9fab5951eee831cbe5e82a9
doc/developer: misc minor fixes

Signed-off-by: Ganesh Ajjanagadde <gajjanagadde@gmail.com>
doc/developer.texi