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
..
2014-04-09 10:08:35 -07:00
2024-10-08 08:58:07 +02:00
2010-11-04 16:53:49 -07:00