[PATCH] GDB/doc: Remove indentation from `print -elements' completion example
Maciej W. Rozycki
macro@embecosm.com
Fri Jul 1 16:13:38 GMT 2022
On Fri, 1 Jul 2022, Eli Zaretskii wrote:
> > Also spotted while making documentation updates for "NUMBER" completion.
> >
> > OK to apply?
>
> Yes, thanks.
Thanks, committed.
Maciej
More information about the Gdb-patches
mailing list