From: Junio C Hamano <gitster@pobox.com>
Date: Fri, 17 Feb 2012 02:27:28 GMT
Subject: Re: diff -G with case insensitivity
Message-ID: <7v62f6w5wv.fsf@alter.siamese.dyndns.org>
In-Reply-To: <CAJ6vYjejtZkupy750rvz6HW_0SNPyBVTa78DO4nY8Bi368neQw@mail.gmail.com>

Chris Leong <walkraft@gmail.com> writes:

> Is there any way to run diff -G with a case insensitivity flag?

Hrm, not that I know of.  Do we even do a case insensitive diff regardless
of the -S/-G option?