diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-09-02 17:46:10 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2019-09-02 17:46:10 +0100 |
| commit | a8397deab914240aca8f015fb3736689919c0a5b (patch) | |
| tree | 0afdeb58c88c4d63426355e344f2b1a8fc46f613 /editors/code/src/utils/terminateProcess.sh | |
| parent | 8de2fb37c045a4f4fc6dd1f49bd3b0157182086c (diff) | |
| parent | f377b94628a265cb5335fbe4594a47cc8ddc9e2c (diff) | |
Merge #1751
1751: remove useless trait r=matklad a=matklad
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'editors/code/src/utils/terminateProcess.sh')
0 files changed, 0 insertions, 0 deletions