diff options
| author | Pratyush Yadav <me@yadavpratyush.com> | 2019-10-03 04:41:58 +0530 |
|---|---|---|
| committer | Pratyush Yadav <me@yadavpratyush.com> | 2019-10-03 04:41:58 +0530 |
| commit | 45ab460d4ad23e06f81a1cc9ed10efff6c612297 (patch) | |
| tree | 32f5f3637ffd58c4b1fc132d07246c8af614d2e0 /commit.c | |
| 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
Diffstat (limited to 'commit.c')
0 files changed, 0 insertions, 0 deletions