diff options
author | Junio C Hamano <gitster@pobox.com> | 2017-08-23 14:33:42 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2017-08-23 14:33:42 -0700 |
commit | f613b251dae8453cab8665772621501722261bef (patch) | |
tree | 249464a260ecc385d008ba65966f45ee1df83b10 /pack-revindex.c | |
parent | 4d7268b888d7bb6d675340ec676e4239739d0f6d (diff) | |
parent | 90dbf226ba3fae0d932ae4e42d8d3122a47766bc (diff) | |
download | git-f613b251dae8453cab8665772621501722261bef.tar.gz |
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
Diffstat (limited to 'pack-revindex.c')
0 files changed, 0 insertions, 0 deletions