tree 48fe627819dbb33b40ecefcf5d2a66d4d041ba08
parent 929ed70a7263fc3be909b363993672b649153706
author Stefan Beller <sbeller@google.com> 1515106240 -0800
committer Junio C Hamano <gitster@pobox.com> 1515106960 -0800

diff: migrate diff_flags.pickaxe_ignore_case to a pickaxe_opts bit

Currently flags for pickaxing are found in different places. Unify the
flags into the `pickaxe_opts` field, which will contain any pickaxe related
flags.

Signed-off-by: Stefan Beller <sbeller@google.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>