diff make-dist @ 15894:efd2835a7c96

(keyboard-translate): Use a char-table. (keyboard-translate-table): Add char-table-extra-slots property.
author Richard M. Stallman <rms@gnu.org>
date Wed, 21 Aug 1996 20:36:30 +0000
parents ffc0af16b32a
children 9694822642a7
line wrap: on
line diff