commit | 45ab460d4ad23e06f81a1cc9ed10efff6c612297 | [log] [tgz] |
---|---|---|
author | Pratyush Yadav <me@yadavpratyush.com> | Thu Oct 03 04:41:58 2019 +0530 |
committer | Pratyush Yadav <me@yadavpratyush.com> | Thu Oct 03 04:41:58 2019 +0530 |
tree | 32f5f3637ffd58c4b1fc132d07246c8af614d2e0 | |
parent | 60c60b627e81bf84e1cb01729d2ae882178f079d [diff] | |
parent | 6a72d44fc274db71f9b7350a2977a27cf13ca550 [diff] |
Merge branch 'js/git-bash-if-available' git-gui will now use git-bash instead of bash on Windows, if it is available. * js/git-bash-if-available: git-gui (Windows): use git-bash.exe if it is available