diff options
| author | eldritch horrors <pennae@lix.systems> | 2024-03-08 09:19:15 +0100 |
|---|---|---|
| committer | eldritch horrors <pennae@lix.systems> | 2024-03-09 10:17:26 -0700 |
| commit | 992d99592f1022593e4df276e39e8f4f65822f74 (patch) | |
| tree | 4d688284a84b4dea63c447d7283af0b30e201cf0 /.github | |
| parent | 6b11c2cd7020869b796dc8e6904b358c9e41a23c (diff) | |
`:quit` in the debugger should quit the whole program
(cherry picked from commit 2a8fe9a93837733e9dd9ed5c078734a35b203e14)
Change-Id: I71dadfef6b24d9272b206e9e2c408040559d8a1c
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions