[PATCH v2 00/25] Towards great frontend GDB consoles

Eli Zaretskii eliz@gnu.org
Mon Mar 21 16:34:00 GMT 2016


> From: Pedro Alves <palves@redhat.com>
> Cc: Marc Khouzam <marc.khouzam@ericsson.com>
> Date: Mon, 21 Mar 2016 15:20:50 +0000
> 
>   Add new command to create extra console/mi UI channels
>   Add command to list UIs

Are these commands intended to remain undocumented?



More information about the Gdb-patches mailing list