diff options
author | Junio C Hamano <gitster@pobox.com> | 2012-06-01 13:27:48 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2012-06-01 13:27:48 -0700 |
commit | 7a824d3c463c87b75f17baa0c6ff8d4b8c6bdafb (patch) | |
tree | 177ab08d108f0dadaa2212d34b513670ec0d0fbe /Documentation/manpage-normal.xsl | |
parent | Merge branch 'jl/submodule-report-new-path-once' (diff) | |
parent | Reduce cost of deletion in levenstein distance (4 -> 3) (diff) | |
download | tgif-7a824d3c463c87b75f17baa0c6ff8d4b8c6bdafb.tar.xz |
Merge branch 'mm/levenstein-penalize-deletion-less'
"git tags" used to suggest "git stage" which was nonsense; it should
have favored "git tag". Tweak the cost of deletion to correct it.
By Matthieu Moy
* mm/levenstein-penalize-deletion-less:
Reduce cost of deletion in levenstein distance (4 -> 3)
Diffstat (limited to 'Documentation/manpage-normal.xsl')
0 files changed, 0 insertions, 0 deletions