diff options
author | romkatv <roman.perepelitsa@gmail.com> | 2020-05-08 07:20:40 +0300 |
---|---|---|
committer | romkatv <roman.perepelitsa@gmail.com> | 2020-05-08 07:23:17 +0300 |
commit | ca114f250863f0725e66049d7b74af2e9ea52655 (patch) | |
tree | ff66015029db59b02b24227b4811ffc4aca6082d /.gitignore | |
parent | 541d573551ad4a9103098ddc7e6f116636b7030d (diff) |
work around more zsh bugs w.r.t. SIGWINCH; see #694
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions