This is the mail archive of the
gdb-patches@sourceware.org
mailing list for the GDB project.
Re: [patchv2 6/11] New option 'set filename-display'
- From: Eli Zaretskii <eliz at gnu dot org>
- To: Jan Kratochvil <jan dot kratochvil at redhat dot com>
- Cc: gdb-patches at sourceware dot org
- Date: Mon, 28 Jan 2013 05:42:24 +0200
- Subject: Re: [patchv2 6/11] New option 'set filename-display'
- References: <20130127223430.GG15252@host2.jankratochvil.net>
- Reply-to: Eli Zaretskii <eliz at gnu dot org>
> Date: Sun, 27 Jan 2013 23:34:30 +0100
> From: Jan Kratochvil <jan.kratochvil@redhat.com>
>
> Hi,
>
> formerly:
> [patch 5/9] New option 'set filename-display'
> http://sourceware.org/ml/gdb-patches/2013-01/msg00389.html
OK for the documentation parts. Thanks.