]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e67df67) | patch
[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
treec5894b92cf17570bce27d7030a02cd80644e49f0tree | snapshot
parente67df677b4d7672f0e3d1055ec0443fafb3e9aeecommit | diff
[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 diff | blob | blame | history
gcc/ada/repinfo-input.ads diff | blob | blame | history
gcc/ada/repinfo.adb diff | blob | blame | history
gcc/ada/repinfo.ads diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git