This is the mail archive of the
gdb-patches@sourceware.org
mailing list for the GDB project.
Re: [PATCH] Rename "maint demangle" as "demangle".
- From: Eli Zaretskii <eliz at gnu dot org>
- To: Doug Evans <xdje42 at gmail dot com>
- Cc: gdb-patches at sourceware dot org
- Date: Sun, 04 Jan 2015 23:09:13 +0200
- Subject: Re: [PATCH] Rename "maint demangle" as "demangle".
- Authentication-results: sourceware.org; auth=none
- References: <m31tnap8kd dot fsf at seba dot sebabeach dot org>
- Reply-to: Eli Zaretskii <eliz at gnu dot org>
> From: Doug Evans <xdje42@gmail.com>
> Date: Sun, 04 Jan 2015 12:58:10 -0800
>
> +demangle name
> + Demangle "name" in the current language. This command is renamed from
> + the"maint demangle" command. The latter is kept as a no-op to avoid
^^^
A typo.
Otherwise, OK for the documentation parts.
Thanks.