Re: [PATCH] doc: formatting fixes

2022-11-10 Thread Martin Liška
On 11/10/22 14:53, Andreas Schwab via Gcc-patches wrote: gcc/ * doc/gcc/gcc-command-options/option-summary.rst: Fix formatting. --- gcc/doc/gcc/gcc-command-options/option-summary.rst | 8 ++-- 1 file changed, 2 insertions(+), 6 deletions(-) diff --git

[PATCH] doc: formatting fixes

2022-11-10 Thread Andreas Schwab via Gcc-patches
gcc/ * doc/gcc/gcc-command-options/option-summary.rst: Fix formatting. --- gcc/doc/gcc/gcc-command-options/option-summary.rst | 8 ++-- 1 file changed, 2 insertions(+), 6 deletions(-) diff --git a/gcc/doc/gcc/gcc-command-options/option-summary.rst