]> gcc.gnu.org Git - gcc.git/commit - gcc/ada/gnat_rm.texi
git://gcc.gnu.org / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5ca1d6a) | patch
[Ada] Remove SPARK containers from GNAT documentation
authorJoffrey Huguet <huguet@adacore.com>
Fri, 2 Sep 2022 12:38:19 +0000 (14:38 +0200)
committerMarc Poulhiès <poulhies@adacore.com>
Mon, 12 Sep 2022 08:16:52 +0000 (10:16 +0200)
commit517817a434f0c15a355cb1e9ab3aaea14a54e9a6
treedda1969d4146d8ba79f12c9db78cbd5057017ed9tree
parent5ca1d6a4a544f3357fdf0594ddd6096d68405bf3commit | diff
[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.
gcc/ada/doc/gnat_rm/the_gnat_library.rst diff | blob | blame | history
gcc/ada/gnat_rm.texi diff | blob | blame | history
gcc/ada/gnat_ugn.texi diff | blob | blame | history
GNU Compiler Collection
This page took 0.06014 seconds and 5 git commands to generate.