ebnf-font-width-NT

ebnf-font-width-NT is a variable defined in `ebnf2ps.el'.
Its value is
0


Documentation:
Not documented as a variable.