diff options
author | alois31 <alois1@gmx-topmail.de> | 2024-05-22 18:59:54 +0000 |
---|---|---|
committer | Gerrit Code Review <gerrit@lix-systems> | 2024-05-22 18:59:54 +0000 |
commit | 0bf4c2971f6b57dbba3b79986d9f65ae7924260f (patch) | |
tree | ab5e6ca283165a181c1d9989dbd8f785f669910d /doc/manual/rl-next/repl-interrupt.md | |
parent | 20981461d4a2a62c68f4bc7c4258473f7cd7d8e1 (diff) | |
parent | d5fdb995d3425df88e9e08a4fae724515309c47a (diff) |
Merge "doc: fix repl-interrupt release note entry" into main
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. |