Thomas Fitzsimmons wrote: > On Fri, 2005-03-04 at 17:57 +0100, Andreas Tobler wrote: > >>Hello, >> >>ok for main? > > > I think it's better style to explicitly include headers, even if the > includes are redundant. Ok, skipped. Thanks! Andreas