diff options
| author | William Hubbs <w.d.hubbs@gmail.com> | 2017-09-14 11:40:26 -0500 |
|---|---|---|
| committer | William Hubbs <w.d.hubbs@gmail.com> | 2017-09-14 16:17:20 -0500 |
| commit | 6a5ca2ab368d0a85f51bb559672dba2e3ffcc6be (patch) | |
| tree | 07ae9f3bb0c882eddcec43e01402d23f861a4d5e /sh/.gitignore | |
| parent | 2b0345165e5af57ca61a4000c3671bbe6d677cf9 (diff) | |
make the procedure for killing child processes of services configurable
Diffstat (limited to 'sh/.gitignore')
0 files changed, 0 insertions, 0 deletions