diff options
author | Arnaud Charlet <charlet@adacore.com> | 2020-08-28 04:46:52 -0400 |
---|---|---|
committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-10-23 04:24:53 -0400 |
commit | 99d4c1b09bb902c59e9cdec56a09d3e7761b0d00 (patch) | |
tree | 455fc22ec179934ed2c762c9297f9a9864985e03 /gcc/ada/exp_dbug.ads | |
parent | 6cc203bf2a78be88d60fd250617e0c652451b8aa (diff) | |
download | gcc-99d4c1b09bb902c59e9cdec56a09d3e7761b0d00.zip gcc-99d4c1b09bb902c59e9cdec56a09d3e7761b0d00.tar.gz gcc-99d4c1b09bb902c59e9cdec56a09d3e7761b0d00.tar.bz2 |
[Ada] Improve documentation of pragma Abort_Defer
gcc/ada/
* doc/gnat_rm/implementation_defined_pragmas.rst: Improve
documentation of pragma Abort_Defer.
* gnat_rm.texi: Regenerate.
Diffstat (limited to 'gcc/ada/exp_dbug.ads')
0 files changed, 0 insertions, 0 deletions