Files
git/compat
Johannes Schindelin 998036dce6 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>
2019-05-13 22:57:06 +02:00
..
2019-05-13 22:36:49 +02:00
2019-05-13 22:36:47 +02:00
2019-05-13 22:36:46 +02:00
2017-01-23 11:02:34 -08:00