ebnf-settings

ebnf-settings is a variable defined in `ebnf2ps.el'.
Its value is

nil

Documentation:
Not documented as a variable.