[Ada] Update headers
authorArnaud Charlet <charlet@adacore.com>
Sat, 7 Mar 2020 20:20:04 +0000 (15:20 -0500)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 10 Jun 2020 13:34:59 +0000 (09:34 -0400)
commit536c271ca7d5707fdedb85e1f999379f1f4e896f
treec5894b92cf17570bce27d7030a02cd80644e49f0
parente67df677b4d7672f0e3d1055ec0443fafb3e9aee
[Ada] Update headers

2020-06-10  Arnaud Charlet  <charlet@adacore.com>

gcc/ada/

* repinfo-input.ads, repinfo-input.adb, repinfo.adb,
repinfo.ads: Update header.
gcc/ada/repinfo-input.adb
gcc/ada/repinfo-input.ads
gcc/ada/repinfo.adb
gcc/ada/repinfo.ads