diff: introduce diff.wsErrorHighlight option
commita17505f262b62e429bb0e188c5ed73ac749e25b8
authorJunio C Hamano <gitster@pobox.com>
Tue, 4 Oct 2016 22:26:27 +0000 (4 15:26 -0700)
committerJunio C Hamano <gitster@pobox.com>
Tue, 4 Oct 2016 22:49:05 +0000 (4 15:49 -0700)
treef50696174df4b24ce70883b4d89b301edb10215e
parent0b4b42e7fe1b507fb387c18d9a2748768359bf5d
diff: introduce diff.wsErrorHighlight option

With the preparatory steps, it has become trivial to teach the
system a new diff.wsErrorHighlight configuration that gives the
default value for --ws-error-highlight command line option.

Signed-off-by: Junio C Hamano <gitster@pobox.com>
Documentation/diff-config.txt
Documentation/diff-options.txt
diff.c
t/t4015-diff-whitespace.sh