Re: [PATCH v2] doc: add missing values "none" and "default" for diff.wsErrorHighlight

From: Junio C Hamano <gitster@pobox.com>
Date: Jul 25, 2017, 21:31 UTC
Message-ID: <xmqqo9s8td9l.fsf@gitster.mtv.corp.google.com>
In-Reply-To: <20170725205315.12030-1-asheiduk@gmail.com>

Andreas Heiduk <asheiduk@gmail.com> writes:

Show 8 quoted lines

> The values have eluded documentation so far. While at it streamline
> the wording by grouping relevant parts together.
>
> Signed-off-by: Andreas Heiduk <asheiduk@gmail.com>
> ---
>  Documentation/diff-config.txt  | 11 +++++++----
>  Documentation/diff-options.txt | 17 ++++++++---------
>  2 files changed, 15 insertions(+), 13 deletions(-)

Looks sensible; thanks.  Will queue.