On Tue, 26 Jul 2005, Michael Allman wrote:
> On Wed, 27 Jul 2005, Oliver Jowett wrote:
>
> > We now use 4-space indents, not tabs.
>
> I'm away from my normal dev machine and am flailing away with unfamiliar
> tools. Do you have a utility that will indent as desired?
>
The source code may be indented using "astyle -j -p --convert-tabs".
Kris Jurka