diff options
Diffstat (limited to 'doc/manual/rl-next/repl-interrupt.md')
| -rw-r--r-- | doc/manual/rl-next/repl-interrupt.md | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/doc/manual/rl-next/repl-interrupt.md b/doc/manual/rl-next/repl-interrupt.md deleted file mode 100644 index da0bc698e..000000000 --- a/doc/manual/rl-next/repl-interrupt.md +++ /dev/null @@ -1,10 +0,0 @@ ---- -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. -Previously, this only worked once per REPL session; further attempts would be ignored. -This issue is now fixed, so that builds can be canceled consistently. |