Johannes Schindelin c19108ca52 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>
2026-02-02 18:10:50 +01:00
..
2026-02-02 18:10:42 +01:00
2026-02-02 18:10:50 +01:00