From: David Symonds <dsymonds@gmail.com>
Date: Fri, 02 Nov 2007 13:26:32 GMT
Subject: Re: [PATCH 1/2] War on whitespace: first, a bit of retreat.
Message-ID: <ee77f5c20711020626s2ec21f1p68f7602dedfdb33a@mail.gmail.com>
In-Reply-To: <ee77f5c20711020553x1a329fa5g90f38d5b8c1a062e@mail.gmail.com>

On 11/2/07, David Symonds <dsymonds@gmail.com> wrote:
> On 11/2/07, Jakub Narebski <jnareb@gmail.com> wrote:
> > Nice idea, but the syntax is
> >
> > [core "whitespace"]
> >         trailing = error
> >         space-before-tab = error
> >         indent-with-space = warn
>
> Whoops, of course. My brain is a bit muddled tonight.

Okay, I've put my money where my mouth is, and coded up an equivalent
to Junio's patch from the start of this thread. I'll send it through
in a couple of minutes.


Dave.