diff make-dist @ 11340:5c97fabe0ab9

(write-file): Default is ask for confirmation only interactively.
author Richard M. Stallman <rms@gnu.org>
date Mon, 10 Apr 1995 04:49:13 +0000
parents 52bf246dd940
children e3434c390970
line wrap: on
line diff