git.ipfire.org Git - thirdparty/gcc.git/commit

]> git.ipfire.org Git - thirdparty/gcc.git/commit

projects / thirdparty / gcc.git / commit

author	pmderodat <pmderodat@138bc75d-0d04-0410-961f-82ee72b054a4>
	Thu, 11 Jan 2018 08:52:55 +0000 (08:52 +0000)
committer	pmderodat <pmderodat@138bc75d-0d04-0410-961f-82ee72b054a4>
	Thu, 11 Jan 2018 08:52:55 +0000 (08:52 +0000)
commit	63acdb54d64e5a889101912922d7824e77fe2c92
tree	a9fd72489886abfeaf7d2fabac8e2e93258e296f	tree
parent	195a17b811ceefb8a76cb5539237dd1debade2c5	commit \| diff

[Ada] Minor type/wording corrections

2018-01-11 Ben Brosgol <brosgol@adacore.com>

gcc/ada/

* doc/gnat_rm/implementation_defined_aspects.rst: Minor type/wording
corrections.
* gnat_rm.texi: Regenerate.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@256505 138bc75d-0d04-0410-961f-82ee72b054a4

gcc/ada/ChangeLog		diff \| blob \| blame \| history
gcc/ada/doc/gnat_rm/implementation_defined_aspects.rst		diff \| blob \| blame \| history
gcc/ada/gnat_rm.texi		diff \| blob \| blame \| history

Mirror of https://gcc.gnu.org/git/gcc.git

RSS Atom