diff options
| author | Jeroen van Rijn <Kelimion@users.noreply.github.com> | 2022-05-08 10:39:03 +0200 |
|---|---|---|
| committer | Jeroen van Rijn <Kelimion@users.noreply.github.com> | 2022-05-08 10:39:03 +0200 |
| commit | 85e6efdf16ad075f92a61ce59afa50634ccadeee (patch) | |
| tree | 5f9da20641ebb1a8774e880d2dd88394fd5c8d4f /src | |
| parent | 6b89ff43eaa621aa4bdb859e367b6d85ea96676e (diff) | |
Ctrl-C handler on Windows.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions