projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6c0e264) | patch
options: Clarifications around option definition records' help texts
authorThomas Schwinge <thomas@codesourcery.com>
Wed, 30 Mar 2022 21:00:28 +0000 (23:00 +0200)
committerThomas Schwinge <thomas@codesourcery.com>
Thu, 31 Mar 2022 18:29:36 +0000 (20:29 +0200)
commit58d78650da3c6e4830b8350f4e6cbe87dc893c9f
tree5d8ca2b94670531a979febe92bdafd11c8398e41tree | snapshot
parent6c0e2645933449461d44fd2dce4fedf94199838ccommit | diff
options: Clarifications around option definition records' help texts

gcc/
* doc/options.texi (Option file format): Clarifications around
option definition records' help texts.
gcc/doc/options.texi diff | blob | history
Domain: System / Toolchain;