diff options
| author | bruvzg <7645683+bruvzg@users.noreply.github.com> | 2023-01-12 14:41:57 +0200 |
|---|---|---|
| committer | bruvzg <7645683+bruvzg@users.noreply.github.com> | 2023-01-12 14:41:57 +0200 |
| commit | 01adf738fab649d883a2d892588506758fdb28a2 (patch) | |
| tree | 64ac34123aeb1f5eef2436e06a92c9d45f1e3cc9 /core/extension/make_interface_dumper.py | |
| parent | caf94f244e1a952300c6426f5d7d9939dd93d472 (diff) | |
[Windows] Allow OS::kill method to terminate non-child processes.
Diffstat (limited to 'core/extension/make_interface_dumper.py')
0 files changed, 0 insertions, 0 deletions