2005-12-07 Paolo Carlini <pcarlini@suse.de>
authorpaolo <paolo@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 7 Dec 2005 23:51:31 +0000 (23:51 +0000)
committerpaolo <paolo@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 7 Dec 2005 23:51:31 +0000 (23:51 +0000)
commit53c784f9068cee0d0b33cd93c6f439075f31dbcf
tree111a1b2982045643950b8c88dbddd118e921d199
parent6184cd692fbc241f633ee6b11684eca1479b83b0
2005-12-07  Paolo Carlini  <pcarlini@suse.de>

* docs/html/configopts.html ([--enable-libstdcxx-allocator]):
Mention the SGI pooled allocator.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@108197 138bc75d-0d04-0410-961f-82ee72b054a4
libstdc++-v3/ChangeLog
libstdc++-v3/docs/html/configopts.html