projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c7c7dd3) | patch
[Ada] Fix documentation of No_Local_Timing_Events
authorPiotr Trojanek <trojanek@adacore.com>
Thu, 25 Jun 2020 12:37:44 +0000 (14:37 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Fri, 16 Oct 2020 07:31:16 +0000 (03:31 -0400)
commit64d5b75fc6efe4e222f7ffb4d64d3ee93afea398
treeb37d1db0d35770505ecbf2e3a972bb7b7e79d0ebtree
parentc7c7dd3a1ded3f8bcdbfb352277246a521108710commit | diff
[Ada] Fix documentation of No_Local_Timing_Events

gcc/ada/

* doc/gnat_rm/standard_and_implementation_defined_restrictions.rst
(No_Local_Timing_Events): Package Timing_Events is a child of
Ada.Real_Time, not of Ada.
* gnat_rm.texi: Regenerate.
gcc/ada/doc/gnat_rm/standard_and_implementation_defined_restrictions.rst diff | blob | history
gcc/ada/gnat_rm.texi diff | blob | history