diff make-dist @ 4767:12ff77449baa

(suppress-keymap): Use substitute-key-definition instead of manually checking each key (we were using 127 instead of 255 anyway).
author Brian Fox <bfox@gnu.org>
date Tue, 21 Sep 1993 07:47:15 +0000
parents f82d7536df7c
children 6e068e4635e0
line wrap: on
line diff