diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2020-07-06 19:34:09 +0100 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2020-07-06 19:34:09 +0100 |
| commit | 2b73504c1df942a30309d0135cb0ab59c8b5fa70 (patch) | |
| tree | 32886f7faa6cf87187cea8a91424780385edc146 /doc/repl.texi | |
| parent | 3d2062779ec91bbd702ed0d290630067f305d841 (diff) | |
| download | geiser-2b73504c1df942a30309d0135cb0ab59c8b5fa70.tar.gz geiser-2b73504c1df942a30309d0135cb0ab59c8b5fa70.tar.bz2 | |
Returning C-c k back to users, that key's theirs!
Should close issue #315, where it is pointed out that "sequences
consisting of `C-c` and a letter (either upper or lower case) are
reserved for users; they are the *only* sequences reserved for users,
so do not block them."
Diffstat (limited to 'doc/repl.texi')
0 files changed, 0 insertions, 0 deletions