diff make-dist @ 41590:39c6a725758c

(command-line-1): Call kill-buffer only in non-fancy case.
author Richard M. Stallman <rms@gnu.org>
date Mon, 26 Nov 2001 20:15:26 +0000
parents 9cef47e51d37
children 1cc9127ddf72
line wrap: on
line diff