diff options
| author | Keuin <[email protected]> | 2022-09-08 01:44:58 +0800 |
|---|---|---|
| committer | Keuin <[email protected]> | 2022-09-08 01:44:58 +0800 |
| commit | aced234f80489f10e678cbe8ab2d44fe50c8e376 (patch) | |
| tree | 8542f8fc09b31288f048bdf655bb3bce3b82d4ca /.github | |
| parent | 493ad1a723f9ade3bd049b156f0dc4d194f8fd3e (diff) | |
Correctly handle signals on exit.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions