projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7ee9858) | patch
[Ada] Add missing dot at the end of lang.opt doc for -fdump-scos
authorPierre-Marie de Rodat <derodat@adacore.com>
Tue, 20 Aug 2019 09:47:44 +0000 (09:47 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Tue, 20 Aug 2019 09:47:44 +0000 (09:47 +0000)
commitca19ff234f1a7ade1652fdfa53a4ce4f25b10d11
tree0b869ac8602655f77d7f7117c0fcdf1f360c48cctree
parent7ee98586a66efe3219ef5a8b00bcced4b0da23e5commit | diff
[Ada] Add missing dot at the end of lang.opt doc for -fdump-scos

2019-08-20  Pierre-Marie de Rodat  <derodat@adacore.com>

gcc/ada/

PR ada/91492
* gcc-interface/lang.opt (-fdump-scos): Add missing dot at the
end of the documentation.

From-SVN: r274714
gcc/ada/ChangeLog diff | blob | history
gcc/ada/gcc-interface/lang.opt diff | blob | history