Vincent van Ravesteijn wrote: > I think you'll mostly remove includes that are redundant in some sense. > It's less likely there are huge amounts of costly includes.
who knows. i believe that those 13 includes i removed from insetmathhull today were not just redundant of other headers. pavel
