diff options
author | Arnaud Charlet <charlet@adacore.com> | 2021-07-22 03:27:41 -0400 |
---|---|---|
committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-09-22 15:01:46 +0000 |
commit | f4f6c18d9f739df6f1cf8aedbc2a0c4b3c0248fa (patch) | |
tree | 1ace6f5e6a19793fb47750e61c9098d2f98e295f /gcc/ada/gcc-interface | |
parent | 8c61547d80c8b4c611284b63e92d10f87c9898b2 (diff) | |
download | gcc-f4f6c18d9f739df6f1cf8aedbc2a0c4b3c0248fa.zip gcc-f4f6c18d9f739df6f1cf8aedbc2a0c4b3c0248fa.tar.gz gcc-f4f6c18d9f739df6f1cf8aedbc2a0c4b3c0248fa.tar.bz2 |
[Ada] Minor doc improvement
gcc/ada/
* doc/gnat_ugn/platform_specific_information.rst: Improve doc
on permission and containers.
* gnat_ugn.texi: Regenerate.
Diffstat (limited to 'gcc/ada/gcc-interface')
0 files changed, 0 insertions, 0 deletions