diff options
| author | Keuin <[email protected]> | 2022-09-16 20:26:59 +0800 |
|---|---|---|
| committer | Keuin <[email protected]> | 2022-09-16 20:26:59 +0800 |
| commit | 7d8ec5f208c645fef71e2b1fd9ce1f891edfda45 (patch) | |
| tree | ae102ec8d89c2d526b2fe8a2d3af3c8ed0e33404 /.github | |
| parent | 0725ebf24da4d3f06097372e31c05a49543edc79 (diff) | |
Bugfix: Ctrl-C won't stop the task.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions