]> gcc.gnu.org Git - gcc.git/commit
ada: usage.adb: document -gnatyD switch
authorGhjuvan Lacambre <lacambre@adacore.com>
Thu, 26 Jan 2023 14:13:29 +0000 (15:13 +0100)
committerMarc Poulhiès <poulhies@adacore.com>
Tue, 16 May 2023 08:30:58 +0000 (10:30 +0200)
commit4803e348aa63482085d535127689528e4925cccf
treeeb89e9f88033601eb93aa8d700216ea8997aa54b
parent2ffa7a68401b0f40360f7bd3dfcecc8e34ff7c14
ada: usage.adb: document -gnatyD switch

-gnatyD was documented in the user guide but not in `gnat --help-ada`.

gcc/ada/

* usage.adb (Usage): Document -gnatyD.
gcc/ada/usage.adb
This page took 0.067888 seconds and 5 git commands to generate.