diff make-dist @ 64829:9c1dcec0d1fb

(map-y-or-n-p): Reorder the options and rename some of them to be more self-explanatory.
author Richard M. Stallman <rms@gnu.org>
date Tue, 09 Aug 2005 11:36:58 +0000
parents 385af3e03206
children 00005df1b3eb 890cc78a5a24
line wrap: on
line diff