projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e08a896) | patch
[Ada] Minor editorial corrections and reformatting
authorGary Dismukes <dismukes@adacore.com>
Wed, 3 Jul 2019 08:15:39 +0000 (08:15 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Wed, 3 Jul 2019 08:15:39 +0000 (08:15 +0000)
commit866000e7fb53a137db4e876dcd3f6b46195a6683
treee94ee49705a2fa9ac3694bcc63fb6f3d9655aec2tree
parente08a896b96792d73293db82d0dc3541c17e545adcommit | diff
[Ada] Minor editorial corrections and reformatting

2019-07-03  Gary Dismukes  <dismukes@adacore.com>

gcc/ada/

* bindo-augmentors.adb, bindo-augmentors.ads,
bindo-builders.ads, bindo-elaborators.adb, sem_ch12.adb,
sem_ch13.adb, sem_spark.adb, sinfo.ads: Minor editorial
corrections and reformatting.

From-SVN: r272979
gcc/ada/ChangeLog diff | blob | history
gcc/ada/bindo-augmentors.adb diff | blob | history
gcc/ada/bindo-augmentors.ads diff | blob | history
gcc/ada/bindo-builders.ads diff | blob | history
gcc/ada/bindo-elaborators.adb diff | blob | history
gcc/ada/sem_ch12.adb diff | blob | history
gcc/ada/sem_ch13.adb diff | blob | history
gcc/ada/sem_spark.adb diff | blob | history
gcc/ada/sinfo.ads diff | blob | history