diff lib-src/pop.c @ 20832:d953c9628570

Doc fixes. (edebug-stop-before-symbols): Variable deleted. (edebug-form): Don't handle edebug-stop-before-symbols. (edebug-submit-bug-report): Don't include edebug-stop-before-symbols.
author Richard M. Stallman <rms@gnu.org>
date Wed, 04 Feb 1998 02:40:25 +0000
parents 7e1538a45702
children f399e51d6d11
line wrap: on
line diff