Andrew's git / gitweb.git / diff
?
Merge branch 'cb/maint-kill-subprocess-upon-signal'
authorJunio C Hamano <gitster@pobox.com>
Sun, 29 Jan 2012 21:18:50 +0000 (13:18 -0800)
committerJunio C Hamano <gitster@pobox.com>
Sun, 29 Jan 2012 21:18:50 +0000 (13:18 -0800)
* cb/maint-kill-subprocess-upon-signal:
dashed externals: kill children on exit
run-command: optionally kill children on exit

Trivial merge