diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2019-07-10 09:02:27 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-07-10 09:02:27 +0000 |
| commit | 6056bc735d81633bdefe3b696c917d3e4ea20049 (patch) | |
| tree | 1d6e81aaae3c99b73a065a5892621cfa3cb82fb5 /gcc/ada/init.c | |
| parent | 710e024086a51a1567fa39c7c95bbe5554d4c1fd (diff) | |
| download | gcc-6056bc735d81633bdefe3b696c917d3e4ea20049.zip gcc-6056bc735d81633bdefe3b696c917d3e4ea20049.tar.gz gcc-6056bc735d81633bdefe3b696c917d3e4ea20049.tar.bz2 | |
[Ada] Improve gnatmem's doc for the depth switch
2019-07-10 Arnaud Charlet <charlet@adacore.com>
gcc/ada
* doc/gnat_ugn/gnat_and_program_execution.rst: Improve gnatmem's
doc for the depth switch.
From-SVN: r273346
Diffstat (limited to 'gcc/ada/init.c')
0 files changed, 0 insertions, 0 deletions