diff options
author | Rafael Madriz | 2023-04-30 21:35:34 +0000 |
---|---|---|
committer | GitHub | 2023-04-30 21:35:34 +0000 |
commit | efd09b6c7ccf8cdfde5856fd9db0d9b29ea5bd81 (patch) | |
tree | 312a3be28968b8a43ddd8d50f095000e369c24f6 /runtime | |
parent | 5dcc891996b9191fd9ec30783cc0a35af21dec70 (diff) |
tutor: Delete space between shorthand (#6920)
Diffstat (limited to 'runtime')
-rw-r--r-- | runtime/tutor | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/runtime/tutor b/runtime/tutor index 9bcb54a2..f0de5a2d 100644 --- a/runtime/tutor +++ b/runtime/tutor @@ -941,7 +941,7 @@ lines. --> A horse is a horse, of course, of course, --> And no one can talk to a horse of course. - Note: * is like a shorthand for "/ y as all it really does is + Note: * is like a shorthand for "/y as all it really does is copy the selection into the / register. ================================================================= |