diff options
Diffstat (limited to 'doc/manual/rl-next/repl-interrupt.md')
| -rw-r--r-- | doc/manual/rl-next/repl-interrupt.md | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/manual/rl-next/repl-interrupt.md b/doc/manual/rl-next/repl-interrupt.md index 61a8ab71e..da0bc698e 100644 --- a/doc/manual/rl-next/repl-interrupt.md +++ b/doc/manual/rl-next/repl-interrupt.md @@ -1,6 +1,8 @@ --- synopsis: Interrupting builds in the REPL works more than once cls: 1097 +category: Fixes +credits: alois31 --- Builds in the REPL can be interrupted by pressing Ctrl+C. |