diff options
author | Karl Berry <karl@gnu.org> | 1996-08-31 19:08:16 +0000 |
---|---|---|
committer | Karl Berry <karl@gnu.org> | 1996-08-31 19:08:16 +0000 |
commit | 4e361d0f01a402b51da882e37bc2f68f03d0023e (patch) | |
tree | 59d2c918b2a6ed8f4c8d64ee3b8f703c8a690771 /w32/include | |
parent | d5d49d2e5ac1fdbdf008ffa10ae8b9402349b408 (diff) | |
download | gunmake-4e361d0f01a402b51da882e37bc2f68f03d0023e.tar.gz |
(\key): Do not uppercase the argument; key names
can be mixed case, e.g., `Control'.
Diffstat (limited to 'w32/include')
0 files changed, 0 insertions, 0 deletions