profile_mode.xml: Update three ieeexplore.ieee.org references.
authorGerald Pfeifer <gerald@pfeifer.com>
Sat, 1 Sep 2018 21:27:14 +0000 (21:27 +0000)
committerGerald Pfeifer <gerald@gcc.gnu.org>
Sat, 1 Sep 2018 21:27:14 +0000 (21:27 +0000)
commitd1f43ba348e2bbae366bf609a9c3c40c4bda23de
tree3bbc762535e6fb89e6dc25913f2fa2bd64928226
parent395552b520063d9a372ed5ed5122db15680b0616
profile_mode.xml: Update three ieeexplore.ieee.org references.

* doc/xml/manual/profile_mode.xml: Update three ieeexplore.ieee.org
references.

From-SVN: r264031
libstdc++-v3/ChangeLog
libstdc++-v3/doc/xml/manual/profile_mode.xml