Files
git/compat
Johannes Schindelin 4268a9cf25 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-12-09 11:11:19 +01:00
..
2018-12-09 11:06:31 +01:00
2017-07-05 14:01:03 -07:00
2017-07-05 14:01:03 -07:00
2018-12-09 11:10:52 +01:00
2018-12-09 11:07:42 +01:00
2018-12-09 11:07:38 +01:00
2017-01-23 11:02:34 -08:00