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 /git-gui/lib/option.tcl | |
| 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 'git-gui/lib/option.tcl')
0 files changed, 0 insertions, 0 deletions