diff options
| author | Martin Pitt <martin.pitt@ubuntu.com> | 2016-07-22 09:18:30 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-07-22 09:18:30 +0200 |
| commit | bf3dd08a81f7500973d8a4add8c73a0856ae5f7d (patch) | |
| tree | 0610e6bcaa4aaf00acbe4859e4b7253bf8040d03 /.editorconfig | |
| parent | 5c3c778014f4c59dd97f31ca5ab2e7374f08bbf6 (diff) | |
| parent | 756ed0e238b7243c2e4616083e838d90de6e33ed (diff) | |
Merge pull request #3762 from poettering/sigkill-log
log about all processes we forcibly kill
Diffstat (limited to '.editorconfig')
0 files changed, 0 insertions, 0 deletions