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 /glob/configure.bat | |
| 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 'glob/configure.bat')
0 files changed, 0 insertions, 0 deletions