Skip to content

Commit b485175

Browse files
committed
Minor cleanup
1 parent 2282a9b commit b485175

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

docs/user-guide/editor.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -179,7 +179,7 @@ Depending on your operating system, a combination of either `Ctrl-Enter`,
179179
`Cmd-Enter` or `Shift-Enter` will execute the code in the editor (no need to
180180
move the mouse to click the run button).
181181

182-
## Execution override
182+
## Override run
183183

184184
Sometimes you just need to override the way the editor runs code.
185185

0 commit comments

Comments
 (0)