diff options
author | nicm <nicm> | 2023-02-07 10:56:04 +0000 |
---|---|---|
committer | nicm <nicm> | 2023-02-07 10:56:04 +0000 |
commit | 1262e685b827a155d68e92f44077bfd1d44f1812 (patch) | |
tree | 4f5e9ba5d6b07b382a348cf8713e91a2dc0804a8 /screen-write.c | |
parent | 0bd78b42c0a379e46645a7083e0b4785b19e39aa (diff) |
Remove old buffer when renaming rather than complaining, GitHub issue
3467 from Jean-Philippe Paradis.
Diffstat (limited to 'screen-write.c')
0 files changed, 0 insertions, 0 deletions