diff: migrate diff_flags.pickaxe_ignore_case to a pickaxe_opts bit
authorStefan Beller <sbeller@google.com>
Thu, 4 Jan 2018 22:50:40 +0000 (14:50 -0800)
committerJunio C Hamano <gitster@pobox.com>
Thu, 4 Jan 2018 23:02:40 +0000 (15:02 -0800)
commitc1ddc46...0c553b06591aac74b610b56448cbb976
tree48fe627...19dbb33b40ecefcf5d2a66d4d041ba08copy hash to clipboard (tree)
parent929ed70...7263fc3be909b363993672b649153706copy hash to clipboard (diff)
diff.h
diffcore-pickaxe.c
revision.c