On 20 November 2012 02:03, Bruce Evans wrote:
> On Tue, 20 Nov 2012, Eitan Adler wrote:
>
>> Log:
>> Remove unneeded includes.
>>
>> Tested with "make universe"; there are no conditional features.
>
>
> "make universe" can't find such features. Except inversely -- when it
> doesn't find them, i
On Tue, 20 Nov 2012, Bruce Evans wrote:
On Tue, 20 Nov 2012, Eitan Adler wrote:
Log:
Remove unneeded includes.
Tested with "make universe"; there are no conditional features.
"make universe" can't find such features. Except inversely -- when it
doesn't find them, it usually means that th
On Tue, 20 Nov 2012, Eitan Adler wrote:
Log:
Remove unneeded includes.
Tested with "make universe"; there are no conditional features.
"make universe" can't find such features. Except inversely -- when it
doesn't find them, it usually means that there is a bug in the headers.
Modified: h
