diff options
author | Richard M. Stallman <[email protected]> | 1994-06-22 18:03:28 +0000 |
---|---|---|
committer | Richard M. Stallman <[email protected]> | 1994-06-22 18:03:28 +0000 |
commit | 5867a409eebad8a6433e59c540ebdd4bccb72543 (patch) | |
tree | 0e8e09655347017433fcf69a6ed3f36cde755243 /config.bat | |
parent | 1d08cb509a20afc911cc59aac31238e2cf14ba2d (diff) |
(double-prefix-only): New variable.
(double-translate-key): Use it.
Diffstat (limited to 'config.bat')
0 files changed, 0 insertions, 0 deletions