diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2022-12-06 20:35:37 +0100 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2022-12-15 22:18:28 +0100 |
| commit | 66e6f51b732d351577bc04b4d6e21c8c20807840 (patch) | |
| tree | 33e7d4b2efd2084f208969e15073c1b2c8141991 /src/GDB.hs-boot | |
| parent | 671d3c183d17d018a865455190caca32a9cde3f2 (diff) | |
Kill process when it does not terminate within a second
Diffstat (limited to 'src/GDB.hs-boot')
0 files changed, 0 insertions, 0 deletions