diff options
author | Eric Sunshine <sunshine@sunshineco.com> | 2018-07-22 12:57:11 +0300 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2018-08-15 00:24:56 +0300 |
commit | 25668659bfd74a71de6dd27eac437a17ad72a315 (patch) | |
tree | 2cf7ec6edb821cac8ff214f0fc044a33dcfed34f /range-diff.c | |
parent | 87f1b2d45ca7987cc6cc1a74eb66a77fa11fab94 (diff) |
range-diff: publish default creation factor
The range-diff back-end allows its heuristic to be tweaked via the
"creation factor". git-range-diff, the only client of the back-end,
defaults the factor to 60% (hard-coded in builtin/range-diff.c), but
allows the user to override it with the --creation-factor option.
Publish the default range factor to allow new callers of the range-diff
back-end to default to the same value without duplicating the hard-coded
constant, and to avoid worrying about various callers becoming
out-of-sync if the default ever needs to change.
Signed-off-by: Eric Sunshine <sunshine@sunshineco.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'range-diff.c')
0 files changed, 0 insertions, 0 deletions