diff options
author | Junio C Hamano <gitster@pobox.com> | 2017-08-11 13:27:06 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2017-08-11 13:27:06 -0700 |
commit | 40dc8d3dcfbdac4dcf03468e8c780c1b156b768d (patch) | |
tree | 99e1113a8f441ddfbc55cae51dc87658412db577 /Documentation | |
parent | Merge branch 'eb/contacts-reported-by' (diff) | |
parent | Merge branch 'js/msgfmt-on-windows' of ../git-gui into js/git-gui-msgfmt-on-w... (diff) | |
download | tgif-40dc8d3dcfbdac4dcf03468e8c780c1b156b768d.tar.xz |
Merge branch 'js/git-gui-msgfmt-on-windows'
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 'Documentation')
0 files changed, 0 insertions, 0 deletions