[PATCH] libstdc++ very simple cleaning.

[Theodore Papadopoulo]

On Fri, 2005-05-27 at 10:32 -0500, Benjamin Kosnik wrote:
> > 2005-05-27  Théodore Papadopoulo  <Theodore.Papadopoulo@sophia.inria.fr>
> > 
> >     * src/misc-inst.cc: Remove unnecessary included files.
> 
> This is fine, please check it in.
> 
> Thanks!

Sorry I cannot, I do not have checking in access...
Can someone do it for me ?

	Thanks

	Theo.