diff make-dist @ 53421:36960c89c04c

(Buffer Modification): Add restore-buffer-modified-p. (Killing Buffers): Add buffer-live-p.
author Richard M. Stallman <rms@gnu.org>
date Mon, 29 Dec 2003 20:25:53 +0000
parents 695cf19ef79e
children 7a0f7095ef65 375f2633d815
line wrap: on
line diff