diff options
author | Pierre-Marie de Rodat <derodat@adacore.com> | 2018-12-11 11:09:13 +0000 |
---|---|---|
committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-12-11 11:09:13 +0000 |
commit | 15bdffc4963b842cf104a0075921965a3cee272b (patch) | |
tree | 7ebcbd8578ba30e62df7eeda2883ef5bd4af6cec /gcc/ada/gcc-interface | |
parent | ad9741234fdd5794992d151d09cd10c03b9b91ab (diff) | |
download | gcc-15bdffc4963b842cf104a0075921965a3cee272b.zip gcc-15bdffc4963b842cf104a0075921965a3cee272b.tar.gz gcc-15bdffc4963b842cf104a0075921965a3cee272b.tar.bz2 |
[Ada] Document the -fgnat-encodings switch
2018-12-11 Pierre-Marie de Rodat <derodat@adacore.com>
gcc/ada/
* doc/gnat_ugn/building_executable_programs_with_gnat.rst:
Document the -fgnat-encodings switch.
* gnat_ugn.texi: Regenerate.
From-SVN: r266979
Diffstat (limited to 'gcc/ada/gcc-interface')
0 files changed, 0 insertions, 0 deletions