]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 01cb6e1) | patch
ada: Fix index entry for an implemented AI feature
authorPiotr Trojanek <trojanek@adacore.com>
Mon, 18 Mar 2024 16:29:07 +0000 (17:29 +0100)
committerMarc Poulhiès <poulhies@adacore.com>
Tue, 21 May 2024 07:26:46 +0000 (09:26 +0200)
commitb0a97d4e223b9ab22f35b7a6008257596f78418b
tree3ff86f5ba65fa0921f9803585df5bec8ba83a4ebtree
parent01cb6e1338be45a8dd08dd8eb260477b7e8120a6commit | diff
ada: Fix index entry for an implemented AI feature

Fix inconsistent reference with "05" in the name of AI.

gcc/ada/

* doc/gnat_rm/implementation_of_ada_2012_features.rst
(AI-0216): Fix index reference.
* gnat_rm.texi: Regenerate.
gcc/ada/doc/gnat_rm/implementation_of_ada_2012_features.rst diff | blob | blame | history
gcc/ada/gnat_rm.texi diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git