]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0f8a934) | patch
ada: Remove duplicated doc comment section
authorRonan Desplanques <desplanques@adacore.com>
Mon, 26 Sep 2022 14:55:28 +0000 (16:55 +0200)
committerMarc Poulhiès <poulhies@adacore.com>
Thu, 29 Sep 2022 09:08:47 +0000 (11:08 +0200)
commit9b0d780514131e09634b01ab3ec43a9a85aecb3b
tree63c5ec00ea529cab56fb01a9c571a4945bfcdfd2tree
parent0f8a934b44ef0d64b5c96c673d14da78867a2738commit | diff
ada: Remove duplicated doc comment section

A documentation section was duplicated by mistake in r0-110752.
This commit removes the copy that was added by r0-110752, but
integrates the small editorial change that it brought to the
original.

gcc/ada/

* einfo.ads: remove documentation duplicate
gcc/ada/einfo.ads diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git