doc/developer: remove duplicate policies and fix error
authorJosh de Kock <josh@itanimul.li>
Tue, 4 Oct 2016 22:10:00 +0000 (23:10 +0100)
committerJames Almer <jamrial@gmail.com>
Wed, 5 Oct 2016 01:55:44 +0000 (22:55 -0300)
commit5173ffb27f6e3ad25c1b947cda2fb9e196a7918a
treeadd08d620f5d8c55770a4d2061a9f7f9edc131bd
parentb33369b6128a7c99fa7fa4686712ce8b8b5fef05
doc/developer: remove duplicate policies and fix error

Fixes regression as of ee72b6d1

Reviewed-by: Michael Niedermayer <michael@niedermayer.cc>
Signed-off-by: Josh de Kock <josh@itanimul.li>
Signed-off-by: James Almer <jamrial@gmail.com>
doc/developer.texi