| commit | f613b251dae8453cab8665772621501722261bef | |
| author | Junio C Hamano <gitster@pobox.com> | |
| Wed, 23 Aug 2017 21:33:42 +0000 (23 14:33 -0700) | ||
| committer | Junio C Hamano <gitster@pobox.com> | |
| Wed, 23 Aug 2017 21:33:42 +0000 (23 14:33 -0700) | ||
| tree | 249464a260ecc385d008ba65966f45ee1df83b10 | treesnapshot (tar.gz zip) |
| parent | 4d7268b888d7bb6d675340ec676e4239739d0f6d | commitdiff |
| parent | 90dbf226ba3fae0d932ae4e42d8d3122a47766bc | commitdiff |
Merge branch 'js/git-gui-msgfmt-on-windows' into maint
Because recent Git for Windows do come with a real msgfmt, the
build procedure for git-gui has been updated to use it instead of a
hand-rolled substitute.
* js/git-gui-msgfmt-on-windows:
git-gui (MinGW): make use of MSys2's msgfmt
git gui: allow for a long recentrepo list
git gui: de-dup selected repo from recentrepo history
git gui: cope with duplicates in _get_recentrepo
git-gui: remove duplicate entries from .gitconfig's gui.recentrepo
Because recent Git for Windows do come with a real msgfmt, the
build procedure for git-gui has been updated to use it instead of a
hand-rolled substitute.
* js/git-gui-msgfmt-on-windows:
git-gui (MinGW): make use of MSys2's msgfmt
git gui: allow for a long recentrepo list
git gui: de-dup selected repo from recentrepo history
git gui: cope with duplicates in _get_recentrepo
git-gui: remove duplicate entries from .gitconfig's gui.recentrepo