Re: eliminate deprecated_add_set_cmd

Eli Zaretskii
2008-12-31T04:22:38Z

> 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.