diff options
| author | default <nobody@localhost> | 2023-12-15 21:43:34 +0100 |
|---|---|---|
| committer | default <nobody@localhost> | 2023-12-15 21:43:34 +0100 |
| commit | 3e3dee8a2f8c95afeaafeb76610982b5ea9ada1a (patch) | |
| tree | 11e438aa852a231d9713798d684be17984f12236 /main.c | |
| parent | 0dd4739cc674c55de31b935f0c3956bf155216bc (diff) | |
Avoid propagating Undo messages innecesarily.
Diffstat (limited to 'main.c')
0 files changed, 0 insertions, 0 deletions