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 | |
parent | 20981461d4a2a62c68f4bc7c4258473f7cd7d8e1 (diff) | |
parent | d5fdb995d3425df88e9e08a4fae724515309c47a (diff) |
Merge "doc: fix repl-interrupt release note entry" into main
Diffstat (limited to 'doc/manual')
-rw-r--r-- | doc/manual/change-authors.yml | 4 | ||||
-rw-r--r-- | doc/manual/rl-next/repl-interrupt.md | 2 |
2 files changed, 6 insertions, 0 deletions
diff --git a/doc/manual/change-authors.yml b/doc/manual/change-authors.yml index 46164f5b1..1b59da9ca 100644 --- a/doc/manual/change-authors.yml +++ b/doc/manual/change-authors.yml @@ -71,3 +71,7 @@ puck: display_name: puck forgejo: puck github: puckipedia + +alois31: + forgejo: alois31 + github: alois31 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. |