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 /common/pretty | |
parent | 493ad1a723f9ade3bd049b156f0dc4d194f8fd3e (diff) |
Correctly handle signals on exit.
Diffstat (limited to 'common/pretty')
0 files changed, 0 insertions, 0 deletions