diff options
| author | Ed Falis <falis@adacore.com> | 2019-09-17 08:01:53 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-09-17 08:01:53 +0000 |
| commit | 402b91503e266ad8337be9cf05ea967fbe4cbe3c (patch) | |
| tree | 0c1fc452b40a6549a54bd8aef903bcc87342e7a8 /gcc/data-streamer.c | |
| parent | 94c44a8a3000348707a456f8ebc1b1d67b688ea4 (diff) | |
| download | gcc-402b91503e266ad8337be9cf05ea967fbe4cbe3c.zip gcc-402b91503e266ad8337be9cf05ea967fbe4cbe3c.tar.gz gcc-402b91503e266ad8337be9cf05ea967fbe4cbe3c.tar.bz2 | |
[Ada] Remove section on pragma No_Run_Time
This pragma has been long obsolescent and confuses users.
2019-09-17 Ed Falis <falis@adacore.com>
gcc/ada/
* doc/gnat_rm/implementation_defined_pragmas.rst: Remove
section.
* gnat_rm.texi, gnat_ugn.texi: Regenerate.
From-SVN: r275784
Diffstat (limited to 'gcc/data-streamer.c')
0 files changed, 0 insertions, 0 deletions