projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a197111) | patch
[Ada] Add Suppressible argument to Assertion_Policy in documentation
authorYannick Moy <moy@adacore.com>
Mon, 11 Jun 2018 09:18:18 +0000 (09:18 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Mon, 11 Jun 2018 09:18:18 +0000 (09:18 +0000)
commit62458cc14370cde6cc48f365532eb53f987a75ea
treebfdfaa8bb14307f1063a05f448cb7b1f79f6f938tree
parenta19711197eb4c7d72f493e808534faa490e94712commit | diff
[Ada] Add Suppressible argument to Assertion_Policy in documentation

2018-06-11  Yannick Moy  <moy@adacore.com>

gcc/ada/

* doc/gnat_rm/implementation_defined_pragmas.rst: Add Suppressible
argument to Assertion_Policy
* gnat_rm.texi: Regenerate.

From-SVN: r261415
gcc/ada/ChangeLog diff | blob | history
gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst diff | blob | history
gcc/ada/gnat_rm.texi diff | blob | history