diff options
author | Casper Beyer <caspervonb@pm.me> | 2020-12-12 01:52:10 +0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-12-11 18:52:10 +0100 |
commit | 39c86df4e587bf45e446bd944bff4a91b8a63be3 (patch) | |
tree | a854ea44c3a33ffb51866b2077e72ff19834ec2c | |
parent | 65e72b68acf57da8462b8e7b057e7adb9393b698 (diff) |
docs(tools/repl): remove rogue reference to issue (#8720)
The keybindings are from upstream rustyline, I was a bit too blind
copying action descriptions and a reference to a issue stuck in to the
description of the ctrl-v binding.
This commit removes the offending reference.
-rw-r--r-- | docs/tools/repl.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/tools/repl.md b/docs/tools/repl.md index a0143b80c..ac512ec93 100644 --- a/docs/tools/repl.md +++ b/docs/tools/repl.md @@ -24,7 +24,7 @@ up program state in the global context. | Ctrl-R | Reverse Search history (Ctrl-S forward, Ctrl-G cancel) | | Ctrl-T | Transpose previous character with current character | | Ctrl-U | Delete from start of line to cursor | -| Ctrl-V | Insert any special character without performing its associated action (#65) | +| Ctrl-V | Insert any special character without performing its associated action | | Ctrl-W | Delete word leading up to cursor (using white space as a word boundary) | | Ctrl-X Ctrl-U | Undo | | Ctrl-Y | Paste from Yank buffer | |