diff config.bat @ 7881:4ab8723cd491

(pop-global-mark): Discard entries for nonexistent buffers.
author Richard M. Stallman <rms@gnu.org>
date Tue, 14 Jun 1994 00:34:43 +0000
parents de6995fec29e
children 9eae919f9a23
line wrap: on
line diff