Skip to content

Document empty_non_terminal_rcode better

A previous commit introduced the “empty_non_terminal_rcode” configuration variable, but did not document it.

Merge request reports