configopts.html ([--enable-libstdcxx-allocator]): Mention the SGI pooled allocator.
authorPaolo Carlini <pcarlini@suse.de>
Wed, 7 Dec 2005 23:51:31 +0000 (23:51 +0000)
committerPaolo Carlini <paolo@gcc.gnu.org>
Wed, 7 Dec 2005 23:51:31 +0000 (23:51 +0000)
commit638004ccd72db65fb3c0cae932fae400620d846a
tree111a1b2982045643950b8c88dbddd118e921d199
parent1fd5360d19237707850e73a67840fe616b1b9bbe
configopts.html ([--enable-libstdcxx-allocator]): Mention the SGI pooled allocator.

2005-12-07  Paolo Carlini  <pcarlini@suse.de>

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

From-SVN: r108197
libstdc++-v3/ChangeLog
libstdc++-v3/docs/html/configopts.html