diff options
| author | Joffrey Huguet <huguet@adacore.com> | 2022-09-02 14:38:19 +0200 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2022-09-12 10:16:52 +0200 |
| commit | 517817a434f0c15a355cb1e9ab3aaea14a54e9a6 (patch) | |
| tree | dda1969d4146d8ba79f12c9db78cbd5057017ed9 /gcc/gcov-dump.cc | |
| parent | 5ca1d6a4a544f3357fdf0594ddd6096d68405bf3 (diff) | |
| download | gcc-517817a434f0c15a355cb1e9ab3aaea14a54e9a6.zip gcc-517817a434f0c15a355cb1e9ab3aaea14a54e9a6.tar.gz gcc-517817a434f0c15a355cb1e9ab3aaea14a54e9a6.tar.bz2 | |
[Ada] Remove SPARK containers from GNAT documentation
This patch removes documentation on the SPARK containers,
now under the spark2014 repository.
gcc/ada/
* doc/gnat_rm/the_gnat_library.rst: Remove paragraphs about SPARK
containers.
* gnat_rm.texi, gnat_ugn.texi: Regenerate.
Diffstat (limited to 'gcc/gcov-dump.cc')
0 files changed, 0 insertions, 0 deletions