Re: eliminate deprecated_add_set_cmd

Eli Zaretskii
2008-12-31T04:28:47Z

> Date: Wed, 31 Dec 2008 06:21:54 +0200
> From: Eli Zaretskii <eliz@gnu.org>
> Cc: gdb-patches@sourceware.org, ams@gnu.org, tschwinge@gnu.org
>
> > From: Pedro Alves <pedro@codesourcery.com>
> > Date: Wed, 31 Dec 2008 01:14:44 +0000
> > Cc: Eli Zaretskii <eliz@gnu.org>, ams@gnu.org, Thomas Schwinge <tschwinge@gnu.org>
> >
> > Would you prefer the commands to stay as they are, or, to rename
> > the commands to be able to add a "show" facility ?
>
> I don't mind making the change you suggest.

But please also change the manual, if you do.