comparison make-dist @ 17943:15dc805eadee

(substitute-key-definition): Fix previous change.
author Richard M. Stallman <rms@gnu.org>
date Sun, 25 May 1997 18:05:58 +0000
parents b8a3deb464b9
children 0696d4c9aa15
comparison
equal deleted inserted replaced
17942:9c14296387f7 17943:15dc805eadee