Files
Johannes Schindelin 38dab95e7e 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-04-11 06:39:52 +00:00
..
2026-04-11 06:39:51 +00:00
2026-04-11 06:39:52 +00:00