2005-12-07 Paolo Carlini <pcarlini@suse.de> * docs/html/configopts.html ([--enable-libstdcxx-allocator]): Mention the SGI pooled allocator. From-SVN: r108197