diff options
| author | Keuin <[email protected]> | 2022-05-28 13:39:51 +0800 |
|---|---|---|
| committer | Keuin <[email protected]> | 2022-05-28 13:39:51 +0800 |
| commit | db89021276d9d501dbb6f8a0485d4b5754113b7f (patch) | |
| tree | f8b4c0d096a147a464ec4c6a5abdb9edaec21e6a /.gitignore | |
| parent | 2718019bef355092a2f5e10f33c6002a1c261c2b (diff) | |
Optimization: reduce checking stop_signal.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions