author | Junio C Hamano <gitster@pobox.com> | |
Mon, 6 Feb 2012 07:58:42 +0000 (23:58 -0800) | ||
committer | Junio C Hamano <gitster@pobox.com> | |
Mon, 6 Feb 2012 07:58:42 +0000 (23:58 -0800) | ||
commit | 1c719ffc3d1c4e03313d5cf5c4d32ec763697857 | |
tree | 006668b9f1b9a8e8233001278e00a18208342578 | tree | snapshot |
parent | cc811d8d020682f0d42d5a53c282df1c1a826540 | commit | diff |
parent | 10c6cddd928b24ac6030a172c6c7b46efb32aedc | commit | diff |
Merge branch 'cb/maint-kill-subprocess-upon-signal' into maint
* cb/maint-kill-subprocess-upon-signal:
dashed externals: kill children on exit
run-command: optionally kill children on exit
* cb/maint-kill-subprocess-upon-signal:
dashed externals: kill children on exit
run-command: optionally kill children on exit