diff options
| author | paolo <paolo@138bc75d-0d04-0410-961f-82ee72b054a4> | 2005-12-07 23:51:31 +0000 |
|---|---|---|
| committer | paolo <paolo@138bc75d-0d04-0410-961f-82ee72b054a4> | 2005-12-07 23:51:31 +0000 |
| commit | 53c784f9068cee0d0b33cd93c6f439075f31dbcf (patch) | |
| tree | 111a1b2982045643950b8c88dbddd118e921d199 /libjava/java/io/ObjectInputStream.java | |
| parent | 6184cd692fbc241f633ee6b11684eca1479b83b0 (diff) | |
| download | ppe42-gcc-53c784f9068cee0d0b33cd93c6f439075f31dbcf.tar.gz ppe42-gcc-53c784f9068cee0d0b33cd93c6f439075f31dbcf.zip | |
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
Diffstat (limited to 'libjava/java/io/ObjectInputStream.java')
0 files changed, 0 insertions, 0 deletions

