This is the mail archive of the
gdb-patches@sourceware.org
mailing list for the GDB project.
Re: [PATCH, doc RFA] PR guile/17177: replace *pretty-printers*
- From: Eli Zaretskii <eliz at gnu dot org>
- To: Doug Evans <dje at google dot com>
- Cc: gdb-patches at sourceware dot org, ludo at gnu dot org
- Date: Mon, 21 Jul 2014 07:00:54 +0300
- Subject: Re: [PATCH, doc RFA] PR guile/17177: replace *pretty-printers*
- Authentication-results: sourceware.org; auth=none
- References: <yjt2lhrnoao4 dot fsf at ruffy dot mtv dot corp dot google dot com>
- Reply-to: Eli Zaretskii <eliz at gnu dot org>
> From: Doug Evans <dje@google.com>
> cc: ludo@gnu.org
> Date: Sun, 20 Jul 2014 16:47:07 -0700
>
> This patch implements the fix for pr 17177.
> Namely it replaces Guile global *pretty-printers*
> with two functions: pretty-printers, set-pretty-printers!.
OK for the documentation parts.
Thanks.