Johannes Schindelin 2d4c2a90c4 Merge pull request #1170 from dscho/mingw-kill-process
Handle Ctrl+C in Git Bash nicely

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
2025-06-11 08:26:42 +02:00
..
2025-06-11 08:26:42 +02:00