Re: Source reindenting

On Thursday, December 30, 2010 6:33:14 PM UTC+1, Guillaume Lelarge wrote:
> Le 30/12/2010 11:24, Magnus Hagander a �crit :
> > On Thu, Dec 30, 2010 at 11:13, Guillaume Lelarge <guil...@lelarge.info> wrote:
> >> Le 30/12/2010 09:52, Magnus Hagander a �crit :

(...)

> >>> Do you also prefer tabs in the end, and just bite the even bigger bullet now?
> >>>
> >>
> >> I prefer spaces. But my initial complaint was the mixing of spaces and
> >> tabs. IOW, I don't care what we choose, but I would love that we choose
> >> one and keep with it. It helps having a good indentation on $EDITOR.
> >>
> >> So, as many would prefer tabs, I'm OK with it.
> >>
> >> So, go for tabs.
> >
> > There's no "many" :-P Dave prefers tabs, I slightly prefer tabs, you
> > prefer spaces.
> >
> > But the main thing is we need a decision - whichever way :-) So let's
> > go with tabs..
> >
>
> +1

I am happy you made it tabs as I, too, prefer tabs over spaces.
Not that I've done a lot of coding here. :)

Regards
Erwin