diff src/w32.h @ 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 481b7874a1e9
children 8f868d8be49a
line wrap: on
line diff