Add a new option (and parameter) --kill-children#292
Merged
benjastudio merged 6 commits intomasterfrom enhancement/291/option-to-kill-child-processesAug 24, 2017
Commits
Commits on Aug 23, 2017
- committed
- committed
- committed
- committed
- committed
- committed
