diff make-dist @ 4566:14d8646c61c4

(ask-user-about-supersession-threat): Mention file name when asking question.
author Richard M. Stallman <rms@gnu.org>
date Wed, 11 Aug 1993 20:36:30 +0000
parents 264d488d5bc7
children e19a64761187
line wrap: on
line diff