[libstdc++] Rename standard headers

[Gerald Pfeifer]

On Sat, 12 Jan 2002, Paolo Carlini wrote:
>>   % cd $GCC ; find . -name 'vector*'
>>   ./include/g++-v3/backward/vector.h
> For some reason, in the installed include/g++-v3 dir there are the
> std_*.h named files instead of the standard ones.

As far as I can see, Benjamin has fixed this know.

Thanks,
Gerald
-- 
Gerald "Jerry" pfeifer@dbai.tuwien.ac.at http://www.dbai.tuwien.ac.at/~pfeifer/