diff options
| author |  Junio C Hamano <gitster@pobox.com> | 2019-10-09 14:00:59 +0900 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2019-10-09 14:00:59 +0900 |
| commit | 772cad0afb834b9af8ee56511dc3df4d6e2f011d (patch) | |
| tree | bf4f9f9be0c01cfb4b4adb41dfda0ccb3fc1ba99 /po/pt_PT.po | |
| parent | Merge branch 'js/mingw-spawn-with-spaces-in-path' (diff) | |
| parent | diffcore_rename(): use a stable sort (diff) | |
| download | tgif-772cad0afb834b9af8ee56511dc3df4d6e2f011d.tar.xz | |
Merge branch 'js/diff-rename-force-stable-sort'
The rename detection logic sorts a list of rename source candidates
by similarity to pick the best candidate, which means that a tie
between sources with the same similarity is broken by the original
location in the original candidate list (which is sorted by path).
Force the sorting by similarity done with a stable sort, which is
not promised by system supplied qsort(3), to ensure consistent
results across platforms.
* js/diff-rename-force-stable-sort:
diffcore_rename(): use a stable sort
Move git_sort(), a stable sort, into into libgit.a
Diffstat (limited to 'po/pt_PT.po')
0 files changed, 0 insertions, 0 deletions