diff options
author | Andrey Tkachenko | 2022-05-31 14:08:16 +0000 |
---|---|---|
committer | GitHub | 2022-05-31 14:08:16 +0000 |
commit | fa2eeccc573cd985b428d337294a7171a1ba35b5 (patch) | |
tree | 3534ced54df4a89375617131e262acdba5882d89 /book/theme | |
parent | fc8c48832257672b92a1b3c08b79c6cbffad1761 (diff) |
Fix unwrap error when undo after `shell_append_output` (#2625)
Diffstat (limited to 'book/theme')
0 files changed, 0 insertions, 0 deletions