diff options
author | Tom Smeding <tom.smeding@gmail.com> | 2018-09-17 22:59:09 +0200 |
---|---|---|
committer | Tom Smeding <tom.smeding@gmail.com> | 2018-09-17 22:59:09 +0200 |
commit | b9fe622b6f3b3a0abba1eee0d71285c7329c89d2 (patch) | |
tree | edc38ddda352775f14f51cba4625fc5f66de6b03 /.gitignore | |
parent | fca6e0750b83f337c61b994a191b8463585ea655 (diff) |
Catch SIGPIPE to prevent spurious exiting
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions