Re: [PATCH] Remove any optional headers
On Tuesday, 16 December 2008 at 13:48, Erik Hovland wrote:
> # HG changeset patch
> # User Erik Hovland <erik@xxxxxxxxxxx>
> # Date 1229463968 28800
> # Branch HEAD
> # Node ID f40ed4a28f4dc9d9728aa219fac5280cca9ebeda
> # Parent 42a16583ecc729bcd276e69e8ac17fdee23ef6ff
> Remove any optional headers
> Some headers provide no useful symbols to the file that includes it.
> This means that the header is optional. And since it is optional, then
> removing it saves time (less for cpp to process) and space.
Thanks, I've removed the mutt headers, but left the system ones alone
until we have a better idea what the portability ramifications are.