diff options
| author | Paolo Carlini <pcarlini@suse.de> | 2005-12-07 23:51:31 +0000 |
|---|---|---|
| committer | Paolo Carlini <paolo@gcc.gnu.org> | 2005-12-07 23:51:31 +0000 |
| commit | 638004ccd72db65fb3c0cae932fae400620d846a (patch) | |
| tree | 111a1b2982045643950b8c88dbddd118e921d199 /gcc | |
| parent | 1fd5360d19237707850e73a67840fe616b1b9bbe (diff) | |
| download | gcc-638004ccd72db65fb3c0cae932fae400620d846a.zip gcc-638004ccd72db65fb3c0cae932fae400620d846a.tar.gz gcc-638004ccd72db65fb3c0cae932fae400620d846a.tar.bz2 | |
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
Diffstat (limited to 'gcc')
0 files changed, 0 insertions, 0 deletions