wisent-eoi-term

wisent-eoi-term is a variable defined in `wisent.el'.
Its value is

$EOI

• This variable may be risky if used as a file-local variable.

Documentation:
End Of Input token.