Files
Johannes Schindelin 128a04d038 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>
2023-08-21 20:11:22 +02:00
..
2023-08-21 20:11:22 +02:00
2019-12-06 16:31:12 +01:00