diff options
| author | Gerald Pfeifer <gerald@pfeifer.com> | 2019-05-31 22:26:55 +0000 |
|---|---|---|
| committer | Gerald Pfeifer <gerald@gcc.gnu.org> | 2019-05-31 22:26:55 +0000 |
| commit | d030d4c5a4491c9d9827f67c94a4c914f6d3eb67 (patch) | |
| tree | fc387254b7b4563e07254031a87f380e15aaf2dd /libstdc++-v3/python/Makefile.in | |
| parent | 29c1593246765176943b642021fb0be67d25be76 (diff) | |
| download | gcc-d030d4c5a4491c9d9827f67c94a4c914f6d3eb67.zip gcc-d030d4c5a4491c9d9827f67c94a4c914f6d3eb67.tar.gz gcc-d030d4c5a4491c9d9827f67c94a4c914f6d3eb67.tar.bz2 | |
* doc/xml/manual/allocator.xml: Move hoard.org back to http.
From-SVN: r271827
Diffstat (limited to 'libstdc++-v3/python/Makefile.in')
0 files changed, 0 insertions, 0 deletions