more nits
authoroes <oes@users.sourceforge.net>
Thu, 11 Apr 2002 09:32:52 +0000 (09:32 +0000)
committeroes <oes@users.sourceforge.net>
Thu, 11 Apr 2002 09:32:52 +0000 (09:32 +0000)
commit5bd68d303fcf7620558df724d7b4035e053b7e30
treebf733d6896386406d20f9972a111d1b82599eab3
parentc9c0f364d64abae8b43a159477dd970bafa38df9
more nits
doc/source/developer-manual.sgml