doc/filters: Fix vsbmc option name.
authorCarl Eugen Hoyos <cehoyos@ag.or.at>
Thu, 22 Dec 2016 10:48:18 +0000 (11:48 +0100)
committerCarl Eugen Hoyos <cehoyos@ag.or.at>
Thu, 22 Dec 2016 10:48:18 +0000 (11:48 +0100)
commit0098eeaa62899136caf61aa76e3be2c198144ecc
tree47f15b1ad424cbdd24b89cd320fa1b0aad16cfd4
parentff8b17c998dca3f0026466638430ed183426bdde
doc/filters: Fix vsbmc option name.

Reported-by: Антон Приходько
doc/filters.texi