Johannes Schindelin 4fe776abcd 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-08-13 18:59:25 +02:00
..
2025-08-13 18:59:25 +02:00