diff make-dist @ 69077:f8759a14f4cd

(describe-key-briefly): Compute interactive args in same was as before previous change.
author Richard M. Stallman <rms@gnu.org>
date Tue, 21 Feb 2006 19:51:37 +0000
parents 2cadd1e7bd46
children b99080e25b28 7beb78bc1f8e
line wrap: on
line diff