From: Johannes Sixt <j6t@kdbg.org>
Date: Mon, 20 Feb 2012 08:41:45 GMT
Subject: Re: [PATCH 0/5] diff --ignore-case
Message-ID: <4F420749.9010206@kdbg.org>
In-Reply-To: <1329704188-9955-1-git-send-email-gitster@pobox.com>

Am 20.02.2012 03:16, schrieb Junio C Hamano:
> This teaches our "diff" machinery to optionally consider lines that are
> different only in upper/lower-cases to be equivalent.

When would I want to use --ignore-case? And how useful is it that it
does not obey the current locale, as in your implementation?

-- Hannes