diff options
| author | Patrick Bernardi <bernardi@adacore.com> | 2018-05-28 08:53:49 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-05-28 08:53:49 +0000 |
| commit | f5a9ad2577ddea7a5646040b1d301515d834a8d1 (patch) | |
| tree | 526be751375327ab1b3950b3c2e0d96ecf27a58e /gcc/tree-dump.c | |
| parent | 6a890c589fe0d0bd6821b58d9d0432bfc6ed4cb1 (diff) | |
| download | gcc-f5a9ad2577ddea7a5646040b1d301515d834a8d1.zip gcc-f5a9ad2577ddea7a5646040b1d301515d834a8d1.tar.gz gcc-f5a9ad2577ddea7a5646040b1d301515d834a8d1.tar.bz2 | |
[Ada] Update user manual for the -D binder switch
2018-05-28 Patrick Bernardi <bernardi@adacore.com>
gcc/ada/
* doc/gnat_ugn/building_executable_programs_with_gnat.rst: Update the
description of the -D binder switch to reflect current usage.
* gnat_ugn.texi: Regenerate.
From-SVN: r260824
Diffstat (limited to 'gcc/tree-dump.c')
0 files changed, 0 insertions, 0 deletions