diff options
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. |