projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 156187e) | patch
[Ada] Remove documentation of ignored GNATpp switch
authorBob Duff <duff@adacore.com>
Mon, 8 Jul 2019 08:14:41 +0000 (08:14 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Mon, 8 Jul 2019 08:14:41 +0000 (08:14 +0000)
commitb723426575b8a948947cd8b2403c4949edc92dfc
treeb2a7f7ee74708c84552ec9ff4d94d1e38bb226c4tree
parent156187ef87ef07d5004954785f4c0127e64d1a21commit | diff
[Ada] Remove documentation of ignored GNATpp switch

2019-07-08  Bob Duff  <duff@adacore.com>

gcc/ada/

* doc/gnat_ugn/gnat_utility_programs.rst: Remove documentation
of ignored GNATpp switch.

From-SVN: r273221
gcc/ada/ChangeLog diff | blob | history
gcc/ada/doc/gnat_ugn/gnat_utility_programs.rst diff | blob | history