projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 710e024) | patch
[Ada] Improve gnatmem's doc for the depth switch
authorArnaud Charlet <charlet@adacore.com>
Wed, 10 Jul 2019 09:02:27 +0000 (09:02 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Wed, 10 Jul 2019 09:02:27 +0000 (09:02 +0000)
commit6056bc735d81633bdefe3b696c917d3e4ea20049
tree1d6e81aaae3c99b73a065a5892621cfa3cb82fb5tree
parent710e024086a51a1567fa39c7c95bbe5554d4c1fdcommit | diff
[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
gcc/ada/ChangeLog diff | blob | history
gcc/ada/doc/gnat_ugn/gnat_and_program_execution.rst diff | blob | history