diff options
author | romkatv <roman.perepelitsa@gmail.com> | 2019-11-08 15:57:20 +0300 |
---|---|---|
committer | romkatv <roman.perepelitsa@gmail.com> | 2019-11-08 15:57:20 +0300 |
commit | e4aa4588dd2ed21df8d9068c1d110a6c83d997ef (patch) | |
tree | 3f2dab0925c4e8c7ac764e6154392acdd1bfea83 /README.md | |
parent | 1382fa7e81764ed95baa09c72e529e6403dbae6f (diff) |
work around a bug in zsh that skips precmd hooks after trapped SIGINT if there is just one of them
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions