diff options
author | gerald <gerald@138bc75d-0d04-0410-961f-82ee72b054a4> | 2017-02-16 15:25:18 +0000 |
---|---|---|
committer | gerald <gerald@138bc75d-0d04-0410-961f-82ee72b054a4> | 2017-02-16 15:25:18 +0000 |
commit | 66dae88fabf284b31b6a80f84d8932a2f1b00038 (patch) | |
tree | 0b828936fbd0ec27bd65652be3f6606d630262ff /libgcc | |
parent | 3980cad61df5e51faff2f1edba151417838cc7ef (diff) | |
download | gcc-66dae88fabf284b31b6a80f84d8932a2f1b00038.tar.gz |
* doc/xml/manual/policy_data_structures.xml: Simplify and
standardize references to boost.org.
* doc/xml/manual/policy_data_structures_biblio.xml: Ditto.
* doc/xml/manual/shared_ptr.xml: Ditto.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@245507 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'libgcc')
0 files changed, 0 insertions, 0 deletions