Files
git/compat
Johannes Schindelin 799cd5567f 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>
2018-11-19 23:30:12 +01:00
..
2018-11-19 22:19:59 +01:00
2017-07-05 14:01:03 -07:00
2017-07-05 14:01:03 -07:00
2018-11-19 23:30:07 +01:00
2018-11-19 23:29:24 +01:00
2018-11-19 22:54:02 +01:00
2017-01-23 11:02:34 -08:00