From: Junio C Hamano <gitster@pobox.com>
Date: Tue, 25 Jul 2017 21:31:02 GMT
Subject: Re: [PATCH v2] doc: add missing values "none" and "default" for diff.wsErrorHighlight
Message-ID: <xmqqo9s8td9l.fsf@gitster.mtv.corp.google.com>
In-Reply-To: <20170725205315.12030-1-asheiduk@gmail.com>

Andreas Heiduk <asheiduk@gmail.com> writes:

> 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.