Massive detabbing of the source

[Simon Marlow]

On 17/01/13 14:06, Simon Peyton-Jones wrote:
> Hmm. Precisely because it causes un-forced conflicts, our policy has been:
> 	de-tab when you are modifying a file anyway
>
> But if you find files that are stable -- have not been modified for some months -- then yes you could detab them. Perhaps one directory at a time?
>
> I'm unsure it's worth the bother, but would not want to obstruct.  Others may have views

I don't think it's worth the bother either: conflicts are a pain and 
slow down development, whereas tabs don't.  I don't have any large 
branches right now so I wouldn't be affected, but there certainly are a 
few active branches with large-scale changes.

Cheers,
	Simon