]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fff3c0d) | patch
[Ada] Einfo: minor comment fix
authorpmderodat <pmderodat@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 9 Oct 2018 15:06:16 +0000 (15:06 +0000)
committerpmderodat <pmderodat@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 9 Oct 2018 15:06:16 +0000 (15:06 +0000)
commitc10b5d58f59ffa3373beee097dc316a5b4d552b3
tree4862c9000bfcf9a8cc0a10d8d6518970174725eetree | snapshot
parentfff3c0d68c96852a70a017a88e5df8e4a4905b85commit | diff
[Ada] Einfo: minor comment fix

2018-10-09  Eric Botcazou  <ebotcazou@adacore.com>

gcc/ada/

* einfo.ads: Small comment fix.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@264976 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog diff | blob | blame | history
gcc/ada/einfo.ads diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git