diff make-dist @ 42929:193c9307d562

(basic-save-buffer-2): Ignore file-error in delete-file.
author Richard M. Stallman <rms@gnu.org>
date Thu, 24 Jan 2002 18:55:53 +0000
parents e13df10b6b63
children 1109a8546104
line wrap: on
line diff