diff options
| author | Bob Duff <duff@adacore.com> | 2019-08-19 08:36:02 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-08-19 08:36:02 +0000 |
| commit | d41f5c1facb17bd231fe4dbc122d105585281487 (patch) | |
| tree | adcfef8a86f7bdb57c5d288ca2cd57a9b18efdac /gcc/genopinit.c | |
| parent | 086734aed9adb3e46f362db83e9ea31571778b54 (diff) | |
| download | gcc-d41f5c1facb17bd231fe4dbc122d105585281487.zip gcc-d41f5c1facb17bd231fe4dbc122d105585281487.tar.gz gcc-d41f5c1facb17bd231fe4dbc122d105585281487.tar.bz2 | |
[Ada] Document missing gnatmetric switches
2019-08-19 Bob Duff <duff@adacore.com>
gcc/ada/
* doc/gnat_ugn/gnat_utility_programs.rst: Document missing
metrics switches.
From-SVN: r274646
Diffstat (limited to 'gcc/genopinit.c')
0 files changed, 0 insertions, 0 deletions