]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cf716ab) | patch
ada: Remove gnatcheck reference
authorArnaud Charlet <charlet@adacore.com>
Thu, 27 Oct 2022 09:27:52 +0000 (09:27 +0000)
committerMarc Poulhiès <poulhies@adacore.com>
Mon, 14 Nov 2022 13:46:48 +0000 (14:46 +0100)
commitc9d317bcd676256a4d982fa335f15a9fc7e39ade
tree38991363be61dca3681e443c98dd3cd03b8cb2datree
parentcf716ab562c1e0549e0632b1c92059932f8b899acommit | diff
ada: Remove gnatcheck reference

Since gnatcheck is no longer bundled with gnat

gcc/ada/

* doc/gnat_ugn/gnat_utility_programs.rst: Remove gnatcheck
reference.
gcc/ada/doc/gnat_ugn/gnat_utility_programs.rst diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git