diff options
| author | Gerald Pfeifer <gerald@pfeifer.com> | 2017-09-09 06:51:49 +0000 |
|---|---|---|
| committer | Gerald Pfeifer <gerald@gcc.gnu.org> | 2017-09-09 06:51:49 +0000 |
| commit | 630e912e68399c711e603d8eaa388b80a8741159 (patch) | |
| tree | d229826587a5a06c46d557fe49c040ed0fa005a0 /gcc/ada/gcc-interface/utils.c | |
| parent | d46699acb04b053a391abe3841543dfe0cfb5751 (diff) | |
| download | gcc-630e912e68399c711e603d8eaa388b80a8741159.zip gcc-630e912e68399c711e603d8eaa388b80a8741159.tar.gz gcc-630e912e68399c711e603d8eaa388b80a8741159.tar.bz2 | |
allocator.xml: Adjust link for Hoard.
* doc/xml/manual/allocator.xml: Adjust link for Hoard.
* doc/html/manual/memory.html: Regenerate.
From-SVN: r251919
Diffstat (limited to 'gcc/ada/gcc-interface/utils.c')
0 files changed, 0 insertions, 0 deletions