Re: [patch] delete a range of display numbers

Eli Zaretskii
2011-02-18T17:39:37Z

> From: Pedro Alves <pedro@codesourcery.com>
> Date: Fri, 18 Feb 2011 16:49:46 +0000
> Cc: gdb-patches@sourceware.org,
> Guillaume Leconte <guillaume.leconte@gmail.com>,
> Eli Zaretskii <eliz@gnu.org>
>
> Here's what I tested&applied.

Thanks. I think we should document the range of numbers feature.