]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c116b98) | patch
gnat_ugn.texi: Update -gnatN documentation.
authorRobert Dewar <dewar@adacore.com>
Thu, 31 Jul 2008 08:19:24 +0000 (10:19 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Thu, 31 Jul 2008 08:19:24 +0000 (10:19 +0200)
commitd47f523225d50a2858686471e22060d1fd7abfaa
tree336a355d8e36b25aaccf62395ca1657014d3e65atree
parentc116b9806466d5f3cfa3d274af443fc538be52e3commit | diff
gnat_ugn.texi: Update -gnatN documentation.

2008-07-31  Robert Dewar  <dewar@adacore.com>

* gnat_ugn.texi: Update -gnatN documentation.

* gnat_rm.texi: Add note about pre/postcondition
pragmas not checked in conjunction with front-end inlining.

From-SVN: r138366
gcc/ada/gnat_rm.texi diff | blob | blame | history
gcc/ada/gnat_ugn.texi diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git