diff options
| author | Jeroen van Rijn <Kelimion@users.noreply.github.com> | 2022-05-08 10:45:58 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-05-08 10:45:58 +0200 |
| commit | 3d06322d4a9a4fd056a8eac059ca1dcfaec66b6e (patch) | |
| tree | 5f9da20641ebb1a8774e880d2dd88394fd5c8d4f /src | |
| parent | 6b89ff43eaa621aa4bdb859e367b6d85ea96676e (diff) | |
| parent | 85e6efdf16ad075f92a61ce59afa50634ccadeee (diff) | |
Merge pull request #1775 from Kelimion/ctrl_c
Ctrl-C handler on Windows.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions