[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