* doc/xml/manual/policy_data_structures.xml: Update reference
commitfa3448f1d003fd36bb176f4cf2d497d44287271a
authorgerald <gerald@138bc75d-0d04-0410-961f-82ee72b054a4>
Sun, 11 Nov 2012 09:57:14 +0000 (11 09:57 +0000)
committergerald <gerald@138bc75d-0d04-0410-961f-82ee72b054a4>
Sun, 11 Nov 2012 09:57:14 +0000 (11 09:57 +0000)
tree0c001fe1184bf5b1fc056d373f2b0ec94d86efc3
parent921b61b77686e4aeca7fd1299dacd98c25fda565
* doc/xml/manual/policy_data_structures.xml: Update reference
for select.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@193405 138bc75d-0d04-0410-961f-82ee72b054a4
libstdc++-v3/ChangeLog
libstdc++-v3/doc/xml/manual/policy_data_structures.xml