diff options
| author | David Härdeman <david@hardeman.nu> | 2020-06-20 12:53:25 +0200 |
|---|---|---|
| committer | David Härdeman <david@hardeman.nu> | 2020-06-20 12:53:25 +0200 |
| commit | e11014c0443ea687ad65a14b9124aa366da7984a (patch) | |
| tree | 8c6642ed187dc71cc672cec9f3459aa75134eaa5 /debian/source | |
| parent | fc25e880dfb1f804742006bcdd15ac70d18b4144 (diff) | |
Introduce helper for checking if a task is dead
Diffstat (limited to 'debian/source')
0 files changed, 0 insertions, 0 deletions