[Dune] unreached headers in DUNE

[Markus Blatt]

Hi,

On Wed, Dec 21, 2011 at 12:28:25PM +0100, Oliver Sander wrote:
> [@Markus: I guess 'unreached' means 'not included by any other file]
> However, many of these files are part of the API and are needed,
> even if not used within the core modules.
> 

I totally agee. Not being included somewhere doesn't mean
anything. Maybe they are needed elsewhere (e.g. user modules) but
still might be of interest to others and conceptually belong into the
core. That is why matrixmatrix.hh is there.

IMHO Removing unreached headers might be dangerous.

Markus