diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2017-02-01 13:00:21 +0100 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2017-02-01 13:00:21 +0100 |
| commit | 7a65b2470eb53a320749d76746fbf65790183d9d (patch) | |
| tree | 696a327d3a17a676d9ab9b723e8abcd7a7cef3ed /.gitignore | |
| parent | 583ff4ec46fe1fa758f0fa4df1d8b37d9192736c (diff) | |
Restore default signal handling in child processes
In particular, this fixes Ctrl-C in nix-shell sessions.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions