]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e4e61dc) | patch
gnat_rm.texi, [...]: Minor comment/text fixes.
authorRobert Dewar <dewar@adacore.com>
Fri, 5 Jul 2013 09:52:38 +0000 (09:52 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Fri, 5 Jul 2013 09:52:38 +0000 (11:52 +0200)
commit4672940951fd298f1a8ffd5e32a53fb5a08c3877
tree23e8e4764016e7dd34afdb42e1e761b0241fe16atree
parente4e61dce547165b2f34e0a02a3539e3de599b5e8commit | diff
gnat_rm.texi, [...]: Minor comment/text fixes.

2013-07-05  Robert Dewar  <dewar@adacore.com>

* gnat_rm.texi, sem_prag.adb: Minor comment/text fixes.

From-SVN: r200697
gcc/ada/ChangeLog diff | blob | blame | history
gcc/ada/gnat_rm.texi diff | blob | blame | history
gcc/ada/sem_prag.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git