diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2018-07-17 08:03:39 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-07-17 08:03:39 +0000 |
| commit | 5a3c20f80eb2ca30c721fcab728529589c80c414 (patch) | |
| tree | 27b5189962e4b85c3ed8942c64926f27f745a088 /gcc/builtins.c | |
| parent | a2cf456a48ef0574ca9439812121aa388ace6c41 (diff) | |
| download | gcc-5a3c20f80eb2ca30c721fcab728529589c80c414.zip gcc-5a3c20f80eb2ca30c721fcab728529589c80c414.tar.gz gcc-5a3c20f80eb2ca30c721fcab728529589c80c414.tar.bz2 | |
[Ada] Remove references to gcov from the User Manual
2018-07-17 Arnaud Charlet <charlet@adacore.com>
gcc/ada/
* doc/gnat_ugn/about_this_guide.rst,
doc/gnat_ugn/gnat_and_program_execution.rst: Remove references to gcov.
* gnat_ugn.texi: Regenerate.
From-SVN: r262765
Diffstat (limited to 'gcc/builtins.c')
0 files changed, 0 insertions, 0 deletions