diff vpath.sed @ 15332:008f373921e4

(w32_read_socket): If the dead key was produced using AltGr and has a valid AltGr scan code, it's a valid key and should not be discarded.
author Richard M. Stallman <rms@gnu.org>
date Tue, 04 Jun 1996 23:24:46 +0000
parents 4e736dcf8065
children 695cf19ef79e
line wrap: on
line diff