diff make-dist @ 12320:979836b1a1a9

(universal-argument-other-key): Call reset-this-command-lengths.
author Richard M. Stallman <rms@gnu.org>
date Mon, 19 Jun 1995 20:10:21 +0000
parents ed11e19b4264
children 543e6df4f753
line wrap: on
line diff