Johannes Schindelin f28f927830 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>
2024-10-08 08:58:07 +02:00
..
2024-10-08 08:58:07 +02:00