diff options
author | Ronan Desplanques <desplanques@adacore.com> | 2022-09-26 16:55:28 +0200 |
---|---|---|
committer | Marc Poulhiès <poulhies@adacore.com> | 2022-09-29 11:08:47 +0200 |
commit | 9b0d780514131e09634b01ab3ec43a9a85aecb3b (patch) | |
tree | 63c5ec00ea529cab56fb01a9c571a4945bfcdfd2 /gcc/configure.ac | |
parent | 0f8a934b44ef0d64b5c96c673d14da78867a2738 (diff) | |
download | gcc-9b0d780514131e09634b01ab3ec43a9a85aecb3b.tar.gz |
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
Diffstat (limited to 'gcc/configure.ac')
0 files changed, 0 insertions, 0 deletions