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 /builtin/commit.c | |
| parent | 433b8aac2eb7a8bc3e383a072f7df7d15c4aabbb (diff) | |
| parent | da8063522f7f797cf722f28979aefbe2a508f800 (diff) | |
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 'builtin/commit.c')
0 files changed, 0 insertions, 0 deletions