diff options
author | Junio C Hamano <gitster@pobox.com> | 2020-02-14 12:54:22 -0800 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2020-02-14 12:54:22 -0800 |
commit | df04a316176d5ba44422c2c6b0cb1a9fc31901e5 (patch) | |
tree | 44fae97cc312ba6841416d5d999594a128eb7071 /bulk-checkin.c | |
parent | Merge branch 'ds/sparse-checkout-harden' (diff) | |
parent | diff: move diff.wsErrorHighlight to "basic" config (diff) | |
download | tgif-df04a316176d5ba44422c2c6b0cb1a9fc31901e5.tar.xz |
Merge branch 'jk/diff-honor-wserrhighlight-in-plumbing'
The diff-* plumbing family of subcommands now pay attention to the
diff.wsErrorHighlight configuration, which has been ignored before;
this allows "git add -p" to also show the whitespace problems to
the end user.
* jk/diff-honor-wserrhighlight-in-plumbing:
diff: move diff.wsErrorHighlight to "basic" config
Diffstat (limited to 'bulk-checkin.c')
0 files changed, 0 insertions, 0 deletions